diff --git a/src/core/coercion.ml b/src/core/coercion.ml
index afe0c0e7616ced875a2644b7b5f6769619fd2dad..3ef69cd0320ea6a52821ab7c18e2866054a85804 100644
--- a/src/core/coercion.ml
+++ b/src/core/coercion.ml
@@ -74,6 +74,7 @@ let rec add_crc crcmap crc trans =
       Mts.fold (close_right crc) m1 crcmap_uc1 in
     Mts.fold (close_left_right) crcmap_uc2 crcmap_uc2
 
+
 let add crcmap ls =
   let c = create_crc ls in
   add_crc crcmap c true
diff --git a/src/core/theory.ml b/src/core/theory.ml
index 3af56eac6cbe56d1517171a6bd18b2074de23378..d5119e2bdacb5ed7c41e5639cac626681f73d600 100644
--- a/src/core/theory.ml
+++ b/src/core/theory.ml
@@ -284,6 +284,7 @@ let empty_theory n p = {
 
 let close_theory uc = match uc.uc_export with
   | [e] ->
+     Coercion.print uc.uc_crcmap;
     { th_name   = uc.uc_name;
       th_path   = uc.uc_path;
       th_decls  = List.rev uc.uc_decls;