Debugging code removed.

diff --git a/helm/software/components/tactics/universe.ml b/helm/software/components/tactics/universe.ml
index c8d370f04ff8807f08cbf2afd6a12459bd42af63..6dbdb950ab1b66265ccb087058687fd4085d0bbd 100644 (file)
--- a/helm/software/components/tactics/universe.ml
+++ b/helm/software/components/tactics/universe.ml
@@ -89,7 +89,7 @@ let rec dummies_of_coercions =
        let s' = dummies_of_coercions s in
        let t' = dummies_of_coercions t in
          Cic.LetIn (n,s',t')   
-    | Cic.MutCase _ -> prerr_endline "mutcase";Cic.Meta (-1,[])
+    | Cic.MutCase _ -> Cic.Meta (-1,[])
     | t -> t
 ;;