]> matita.cs.unibo.it Git - helm.git/commitdiff
Debugging code removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 3 Jan 2007 17:09:32 +0000 (17:09 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 3 Jan 2007 17:09:32 +0000 (17:09 +0000)
helm/software/components/tactics/universe.ml

index c8d370f04ff8807f08cbf2afd6a12459bd42af63..6dbdb950ab1b66265ccb087058687fd4085d0bbd 100644 (file)
@@ -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
 ;;