diff --git a/doc/runtime-api.html b/doc/runtime-api.html index 61c6350ed..9bc167217 100644 --- a/doc/runtime-api.html +++ b/doc/runtime-api.html @@ -209,7 +209,7 @@ There is also the function parseWithHeuristics which takes two more paramaters which let you to have a better control over the parser's behaviour:
-let res = parseWithHeuristics eng (startCat gr) heuristic_factor callbacks +Prelude PGF2> let res = parseWithHeuristics eng (startCat gr) heuristic_factor callbacks