diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2018-12-20 12:40:46 +0100 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2018-12-20 12:40:46 +0100 |
| commit | 7c97e5566d0ff17d9997811f71acf4c1a9ab1197 (patch) | |
| tree | 36567d1b3c21e71228122fdf87186971bbd5860b | |
| parent | 7288425daf28f3b1c19dc28036f349b3ac319593 (diff) | |
fix after the change in bracketed string
| -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 020349fbb..50d49d0f9 100644 --- a/src/server/PGFService.hs +++ b/src/server/PGFService.hs @@ -974,7 +974,7 @@ instance JSON PGF.Expr where instance JSON PGF.BracketedString where readJSON x = return (PGF.Leaf "") - showJSON (PGF.Bracket cat fid index fun _ bs) = + showJSON (PGF.Bracket cat fid _ index fun _ bs) = makeObj ["cat".=cat, "fid".=fid, "index".=index, "fun".=fun, "children".=bs] showJSON (PGF.Leaf s) = makeObj ["token".=s] |