diff --git a/src/coalg/coalg.ml b/src/coalg/coalg.ml
index 530b0821611cf6aaa466e0bba2ddf91f4ef96351..2ccd7014eaf53a9468cbdce993b9f2742f670603 100644
--- a/src/coalg/coalg.ml
+++ b/src/coalg/coalg.ml
@@ -164,8 +164,8 @@ let choiceNom2fix () =
       let input = read_line () in
       if not (GenAndComp.isEmptyString input) then
         let f = CoAlgFormula.importFormula input in
-        (*let g = EAFormula.nom2EA f in*)
-        let str = CoAlgFormula.exportFormula f in
+        let g = EAFormula.nom2EA f in
+        let str = EAFormula.exportFormula g in
         incr counter;
         print_string("\nFormula " ^ (string_of_int !counter) ^ ": " ^ str ^ "\n");
         flush stdout;
diff --git a/src/lib/EAFormula.ml b/src/lib/EAFormula.ml
index c5716a6479227ddeddc08a60b2a20024088b4376..5db6675346876887076484575c071ae58c1cb05a 100644
--- a/src/lib/EAFormula.ml
+++ b/src/lib/EAFormula.ml
@@ -79,7 +79,6 @@ let exportFormula f =
   exportFormula_buffer sb f;
   Buffer.contents sb
 
-(*let nom2EA f =
-  let ret = eaformula.FALSE*)
+let nom2EA f = FALSE
         
 (* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/EAFormula.mli b/src/lib/EAFormula.mli
index a2de1b6747e619422eee3b4b37ddba0fa1daaed5..fd531399309ab792a6b8fad33f6e1f9540e478a4 100644
--- a/src/lib/EAFormula.mli
+++ b/src/lib/EAFormula.mli
@@ -18,6 +18,6 @@ type eaformula =
   | A of eaformula (* global box *)
 
 val exportFormula : eaformula -> string
-(*val nom2EA : CoAlgFormula.formula -> eaformula*)
+val nom2EA : CoAlgFormula.formula -> eaformula
 
 (* vim: set et sw=2 sts=2 ts=8 : *)