diff --git a/src/core/theory.ml b/src/core/theory.ml
index d5119e2bdacb5ed7c41e5639cac626681f73d600..3af56eac6cbe56d1517171a6bd18b2074de23378 100644
--- a/src/core/theory.ml
+++ b/src/core/theory.ml
@@ -284,7 +284,6 @@ 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;