summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorSon Ho2021-11-29 21:55:09 +0100
committerSon Ho2021-11-29 21:55:09 +0100
commit28ac519542262bbce6bac6dadb002ccd8945edac (patch)
tree288c73a98944fb34375e5235a207a975c03d5e56 /src
parenta0f2e43a9bcdf3dbe129896e5d1073815eb13555 (diff)
Make minor modifications to pretty-printing
Diffstat (limited to 'src')
-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