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: make_still_working~6545
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3d357d5f7b2eeec9c795087ea1b329761cd966d5;p=helm.git

Debugging code removed.
---

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