diff options
Diffstat (limited to 'src/server')
| -rw-r--r-- | src/server/PGFService.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs index d610df45d..b2fd4fc89 100644 --- a/src/server/PGFService.hs +++ b/src/server/PGFService.hs @@ -155,8 +155,8 @@ cpgfMain command (t,(pgf,pc)) = return $ maybe id take mlimit . drop start # cparse where - cparse = C.parse concr cat input - --cparse = C.parseWithHeuristics concr cat input (-1) callbacks + --cparse = C.parse concr cat input + cparse = C.parseWithHeuristics concr cat input (-1) callbacks callbacks = maybe [] cb $ lookup (C.abstractName pgf) C.literalCallbacks cb fs = [(cat,f pgf (from,concr))|(cat,f)<-fs] {- |