Fix bug in tjjson

2025-01-05 21:41:06 +01:00 · 2021-10-05 16:00:10 +01:00 · 2021-10-05 16:00:10 +01:00 · e29e7b3038
commit e29e7b3038
parent 19633c9019
1 changed files with 1 additions and 1 deletions
--- 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"