From 85417da2e35f1a5b9fcd768171b4e984df607b25 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Thu, 24 Aug 2017 22:36:55 +0200 Subject: [PATCH] small typo in the documentation --- doc/runtime-api.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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