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 013af0e28..b03741f31 100644 --- a/src/server/PGFService.hs +++ b/src/server/PGFService.hs @@ -157,7 +157,7 @@ doTranslateGroup pgf input mcat mfrom mto = disamb lg from t = if lg < 2 then [] - else [("tree", "-- " ++ doText (doBind PGF.linearize pgf (disambLang from)) t)] + else [("tree", "-- " ++ doText (doBind (PGF.linearize pgf (disambLang from) t)))] disambLang f = maybe f id $ PGF.readLanguage $ "Disamb" ++ PGF.showLanguage f notDisamb = (/="Disamb") . take 6 . PGF.showLanguage |