diff options
Diffstat (limited to 'src/server')
| -rw-r--r-- | src/server/PGFService.hs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs index 908325c19..ed19541f1 100644 --- a/src/server/PGFService.hs +++ b/src/server/PGFService.hs @@ -282,9 +282,7 @@ doRandom pgf mcat mdepth mlimit mto = let trees = PGF.generateRandomDepth g pgf cat (Just depth) return $ showJSON [makeObj ["tree".=PGF.showExpr [] tree, - "linearizations".= - [makeObj ["to".=to, "text".=text] - | (to,text,bs) <- linearize' pgf mto tree]] + "linearizations".= doLinearizes pgf tree mto] | tree <- limit trees] where cat = fromMaybe (PGF.startCat pgf) mcat limit = take (fromMaybe 1 mlimit) |