diff options
| -rw-r--r-- | src/Print.ml | 3 |
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 |