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 =