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 08090f309..2d0154e4c 100644 --- a/src/server/PGFService.hs +++ b/src/server/PGFService.hs @@ -173,7 +173,7 @@ cpgfMain qsem command (t,(pgf,pc)) = --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] + cb fs = [(cat,f pgf (from,concr) input)|(cat,f)<-fs] {- -- Caching parse results: parse' start mlimit ((from,concr),input) = |