From 038d17cc32a798a9de0bc4029c4e199d89e6f0a0 Mon Sep 17 00:00:00 2001
From: Daniel Larraz <daniel-larraz@users.noreply.github.com>
Date: Mon, 25 Apr 2022 11:08:36 -0500
Subject: [PATCH] Print property names as quoted strings in dump files

---
 src/nativeInput.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/nativeInput.ml b/src/nativeInput.ml
index f19e7ad81..61ec0798c 100644
--- 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