fix after the change in bracketed string

This commit is contained in:
Krasimir Angelov
2018-12-20 12:40:46 +01:00
parent 7288425daf
commit 7c97e5566d

View File

@@ -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]