diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-24 22:36:55 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-24 22:36:55 +0200 |
| commit | 85417da2e35f1a5b9fcd768171b4e984df607b25 (patch) | |
| tree | 861ebfddb24136caf17799f7b3bd3a5234eed3d3 /doc | |
| parent | d53a75728ebafbca3d9f4346dc1dcb06c0ff307f (diff) | |
small typo in the documentation
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/runtime-api.html | 2 |
1 files changed, 1 insertions, 1 deletions
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 <tt>parseWithHeuristics</tt> which takes two more paramaters which let you to have a better control over the parser's behaviour: <pre class="haskell"> -let res = parseWithHeuristics eng (startCat gr) heuristic_factor callbacks +Prelude PGF2> let res = parseWithHeuristics eng (startCat gr) heuristic_factor callbacks </pre> </span> <span class="java"> |