wip: try to fix escaping of identifiers in TPTP output (#93)

sneeuwballen · Oct 17, 2022 · 9d33336 · 9d33336
1 parent 5792fc3
commit 9d33336
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/core/Util.ml b/src/core/Util.ml
@@ -281,7 +281,12 @@ let pp_list0 ?(sep=" ") pp_x out = function
 let tstp_needs_escaping s =
   assert (s<>"");
   s.[0] = '_' ||
-  CCString.exists (function ' ' | '#' | '$' | '+' | '-' | '/' -> true | _ -> false) s
+  CCString.exists
+    (function
+      | ' ' | '#' | '$' | '+' | '-' | '/' | '\n'
+      | '\t' | '\r' | '<' | '>' -> true
+      | _ -> false)
+    s
 
 let pp_str_tstp out s =
   CCFormat.string out (if tstp_needs_escaping s then "'" ^ String.escaped s ^ "'" else s)