Merge pull request #889 from daniel-larraz/dumped-prop-names

Print property names as quoted strings in dump files
kind2-mc · Apr 25, 2022 · 51dac81 · 51dac81
2 parents c449f83 + 038d17c
commit 51dac81
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