- metas_of_term moved to cicUtil

[helm.git] / helm / software / components / binaries / tptp2grafite / main.ml

diff --git a/helm/software/components/binaries/tptp2grafite/main.ml b/helm/software/components/binaries/tptp2grafite/main.ml
index 315bfc1006b94175f94a94f0af3e8ac85dd8d9f4..18fa713a9a05b1f48b71ae81528652018ce28453 100644 (file)
--- a/helm/software/components/binaries/tptp2grafite/main.ml
+++ b/helm/software/components/binaries/tptp2grafite/main.ml
@@ -151,7 +151,7 @@ let convert_ast statements context = function
           statements, f::context
       | A.Negated_conjecture ->
           if collect_fv_from_formulae f <> [] then
-            (*prerr_endline "CONTIENE FV";*)();
+            prerr_endline "CONTIENE FV";
           let f = 
             PT.Binder 
              (`Forall,