diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2014-03-12 12:45:32 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2014-03-12 12:45:32 +0000 |
| commit | f4be97c152d7613c0fcadc4183f916e705a9f986 (patch) | |
| tree | b62f2590658ae91314483dfb0d39e87efa32ef99 /src | |
| parent | 42e185124e3ed355dcb2d19579d330653af88e19 (diff) | |
Fix typo in PGFService: "incomlete"
Diffstat (limited to 'src')
| -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 = |