summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/Print.ml3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/Print.ml b/src/Print.ml
index 2e2c96e4..90affd9f 100644
--- a/src/Print.ml
+++ b/src/Print.ml
@@ -182,8 +182,7 @@ module Values = struct
"var@" ^ V.VarId.to_string id
let var_to_string (v : V.var) : string =
- let id = var_id_to_string v.index in
- match v.name with None -> id | Some name -> name ^ "(" ^ id ^ ")"
+ match v.name with None -> var_id_to_string v.index | Some name -> name
let big_int_to_string (bi : V.big_int) : string = Z.to_string bi