mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
ML API doc fix
This commit is contained in:
parent
2948e47240
commit
a5036769b3
|
@ -72,7 +72,7 @@ try:
|
|||
if (line != '[ML]\n'):
|
||||
fo.write(line)
|
||||
elif (ML_ENABLED):
|
||||
fo.write(' - <a class="el" href="api/html/ml/index.html">ML/OCaml API</a>\n')
|
||||
fo.write(' - <a class="el" href="ml/index.html">ML/OCaml API</a>\n')
|
||||
fi.close()
|
||||
fo.close()
|
||||
|
||||
|
|
Loading…
Reference in a new issue