Commit 54ce5064 authored by Pietro Abate's avatar Pietro Abate

Minor fix

parent 15beb81a
......@@ -2626,7 +2626,7 @@ struct
let rec pretty_name i acc =
let ni,nm = i/26, i mod 26 in
let acc = acc ^ (String.make 1 (OldChar.chr (OldChar.code 'a' + nm))) in
let acc = acc ^ (String.make 1 (OldChar.chr (OldChar.code 'A' + nm))) in
if ni == 0 then acc else pretty_name ni acc
let collect_variables v =
......@@ -2655,7 +2655,7 @@ struct
(* polarity conflict, replace the binding by a new, pretty-printed variable *)
if ((td == t_emp) && not pos) || ((td == t_any) && pos) then begin
let id = pretty_name !idx "" in
let x = var (Var.mk ~fresh:false id) in
let x = var (Var.mk ~fresh:false ~repr:(Var.id d) id) in
incr idx;
Hashtbl.replace vars d x ;
end
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment