Commit 8a7fe32c authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

very quick fix for the nightly bench

parent 273dcaff
......@@ -52,7 +52,7 @@ let make_tenv kept = {
next = Hty.create 7 }
let add_decls tenv ty () decls =
if Hty.mem tenv.seen ty then decls else
(* if Hty.mem tenv.seen ty then decls else*)
let () = Hty.add tenv.seen ty () in
let (t2tb,tb2t) = Mty.find ty tenv.pont in
let t2tb_def = create_logic_decl [t2tb,None] in
Supports Markdown
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