From 247a48e5bb46d6ade40e511f89432bedb2b9c369 Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Tue, 31 May 2022 11:38:02 +0200
Subject: [PATCH] restore missing case in the JSON instance for BracketedString

---
 src/server/PGFService.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs
index e6539f04b..ed2fadf38 100644
--- a/src/server/PGFService.hs
+++ b/src/server/PGFService.hs
@@ -457,6 +457,7 @@ instance JSON BracketedString where
     readJSON x = return (Leaf "")
     showJSON (Bracket cat fid index fun bs) =
         makeObj ["cat".=cat, "fid".=fid, "index".=index, "fun".=fun, "children".=bs]
+    showJSON BIND     = makeObj ["bind".=True]
     showJSON (Leaf s) = makeObj ["token".=s]
 
 -- * PGF utilities