X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcic%2Fdiscrimination_tree.ml;h=546f4a34fce9f01b2fcca86ff0148af5ee6ee045;hb=2e105ade041b346f9a94d619f06deaababf06a6f;hp=92877a8297f8ae0f775e2507cd6d229686731b0c;hpb=ae1e6d714da0f555dfa9d7f1b0e9321278db12e5;p=helm.git

diff --git a/components/cic/discrimination_tree.ml b/components/cic/discrimination_tree.ml
index 92877a829..546f4a34f 100644
--- a/components/cic/discrimination_tree.ml
+++ b/components/cic/discrimination_tree.ml
@@ -59,7 +59,7 @@ module DiscriminationTreeIndexing =
             assert false (* should not happen *)
         | Cic.LetIn _ | Cic.Lambda _ | Cic.Prod _ | Cic.Cast _
         | Cic.MutCase _ | Cic.Fix _ | Cic.CoFix _ -> 
-            prerr_endline "FIXME: the trie receives an invalid term";
+            HLog.debug "FIXME: the trie receives an invalid term";
             Dead
             (* assert false universe.ml removes these *)
       ;;