From 7c97e5566d0ff17d9997811f71acf4c1a9ab1197 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Thu, 20 Dec 2018 12:40:46 +0100 Subject: [PATCH] fix after the change in bracketed string --- src/server/PGFService.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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]