From e29e7b30386a76ecc91866b49a41d8393b20deda Mon Sep 17 00:00:00 2001
From: John Whitington <john@coherentgraphics.co.uk>
Date: Tue, 5 Oct 2021 16:00:10 +0100
Subject: [PATCH] Fix bug in tjjson

---
 tjjson.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tjjson.ml b/tjjson.ml
index 1eb1b0e..016be2c 100644
--- a/tjjson.ml
+++ b/tjjson.ml
@@ -198,7 +198,7 @@ let lit_string =
 	  begin function
 	  | '\"' | '\\' | '/' as c -> return (string1 c)
 	  | 'b' -> return "\b"
-(*	  | 'f' -> return "\f"*)
+          | 'f' -> return "\x0c"
 	  | 'n' -> return "\n"
 	  | 'r' -> return "\r"
 	  | 't' -> return "\t"