Print property names as quoted strings in dump files

kind2-mc · Apr 25, 2022 · 038d17c · 038d17c
1 parent c449f83
commit 038d17c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/nativeInput.ml b/src/nativeInput.ml
@@ -655,7 +655,7 @@ let pp_print_prop_source sys ppf = function
 let pp_print_property sys ppf {Property.prop_name; prop_source; prop_term} = 
   Format.fprintf 
     ppf
-    "@[<hv 1>(%s@ %a@ %a)@]"
+    "@[<hv 1>(\"%s\"@ %a@ %a)@]"
     prop_name
     pp_print_term prop_term
     (pp_print_prop_source sys) prop_source