Add meta information for the variable names in SymbolicAst

1 files changed, 2 insertions, 2 deletions

diff --git a/src/PrintPure.ml b/src/PrintPure.ml
index 3d41e67d..b631f940 100644
--- a/src/PrintPure.ml
+++ b/src/PrintPure.ml
@@ -183,7 +183,7 @@ let type_def_to_string (fmt : type_formatter) (def : type_def) : string =
       "enum " ^ name ^ params ^ " =\n" ^ variants
 
 let var_to_string (fmt : type_formatter) (v : var) : string =
-  "(" ^ VarId.to_string v.id ^ " : " ^ ty_to_string fmt v.ty ^ ")"
+  "(@" ^ VarId.to_string v.id ^ " : " ^ ty_to_string fmt v.ty ^ ")"
 
 let var_or_dummy_to_string (fmt : value_formatter) (v : var_or_dummy) : string =
   match v with
@@ -218,7 +218,7 @@ let rec projection_to_string (fmt : ast_formatter) (inside : string)
               "(" ^ s ^ " as " ^ variant_name ^ ")." ^ field_name))
 
 let place_to_string (fmt : ast_formatter) (p : place) : string =
-  let var = fmt.var_id_to_string p.var in
+  let var = "@" ^ fmt.var_id_to_string p.var in
   projection_to_string fmt var p.projection
 
 let rec typed_rvalue_to_string (fmt : ast_formatter) (v : typed_rvalue) : string