Commit 739155b1 authored by Leon Gondelman's avatar Leon Gondelman

coercions wip

parent b6d7acb9
...@@ -284,7 +284,6 @@ let empty_theory n p = { ...@@ -284,7 +284,6 @@ let empty_theory n p = {
let close_theory uc = match uc.uc_export with let close_theory uc = match uc.uc_export with
| [e] -> | [e] ->
Coercion.print uc.uc_crcmap;
{ th_name = uc.uc_name; { th_name = uc.uc_name;
th_path = uc.uc_path; th_path = uc.uc_path;
th_decls = List.rev uc.uc_decls; th_decls = List.rev uc.uc_decls;
......
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