diff options
Diffstat (limited to 'src/server')
| -rw-r--r-- | src/server/PGFService.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs index e6bcbdaba..752035e87 100644 --- a/src/server/PGFService.hs +++ b/src/server/PGFService.hs @@ -404,7 +404,7 @@ doParse pgf input mcat mfrom mlimit trie = showJSON $ map makeObj PGF.ParseOk trees -> ["trees".=maybe id take mlimit trees] ++addTrie trie trees PGF.TypeError errs -> jsonTypeErrors errs - PGF.ParseIncomplete -> ["incomlete".=True] + PGF.ParseIncomplete -> ["incomplete".=True] PGF.ParseFailed n -> ["parseFailed".=n] addTrie trie trees = |