From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 3 Jan 2007 17:09:32 +0000 (+0000)
Subject: Debugging code removed.
X-Git-Tag: 0.4.95@7852~686
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=c766b08f0a88082ec1711a793ef4077f34632c6f;hp=f22c488fbc37c2d6c4501b78c4cf2135a8fc52d5;p=helm.git

Debugging code removed.
---

diff --git a/components/tactics/universe.ml b/components/tactics/universe.ml
index c8d370f04..6dbdb950a 100644
--- a/components/tactics/universe.ml
+++ b/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
 ;;