From 86b05d3b39c978c3d3c33868e3846990defe61e9 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 21 Apr 2022 12:56:53 +0200
Subject: Make minor modifications

---
 src/PrintPure.ml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'src/PrintPure.ml')

diff --git a/src/PrintPure.ml b/src/PrintPure.ml
index 1c3d396d..8344ee41 100644
--- a/src/PrintPure.ml
+++ b/src/PrintPure.ml
@@ -226,7 +226,11 @@ let rec projection_to_string (fmt : ast_formatter) (inside : string)
 
 let mplace_to_string (fmt : ast_formatter) (p : mplace) : string =
   let name = match p.name with None -> "" | Some name -> name in
-  let name = name ^ "^" ^ V.VarId.to_string p.var_id in
+  (* We add the "llbc" suffix to the variable index, because meta-places
+   * use indices of the variables in the original LLBC program, while
+   * regular places use indices for the pure variables: we want to make
+   * this explicit, otherwise it is confusing. *)
+  let name = name ^ "^" ^ V.VarId.to_string p.var_id ^ "llbc" in
   projection_to_string fmt name p.projection
 
 let place_to_string (fmt : ast_formatter) (p : place) : string =
-- 
cgit v1.2.3