From 85629935e24c7ae068314d3eaeffad04b0e8349f Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 28 Jan 2022 02:02:25 +0100
Subject: Apply the micro-passes to the pure ASTs

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

(limited to 'src/PrintPure.ml')

diff --git a/src/PrintPure.ml b/src/PrintPure.ml
index f78e4a97..064d8b9d 100644
--- a/src/PrintPure.ml
+++ b/src/PrintPure.ml
@@ -189,7 +189,7 @@ let var_to_string (fmt : type_formatter) (v : var) : string =
   let varname =
     match v.basename with
     | Some name -> name ^ "^" ^ VarId.to_string v.id
-    | None -> "@" ^ VarId.to_string v.id
+    | None -> "^" ^ VarId.to_string v.id
   in
   "(" ^ varname ^ " : " ^ ty_to_string fmt v.ty ^ ")"
 
-- 
cgit v1.2.3