From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 26 Oct 2005 10:01:36 +0000 (+0000)
Subject: Dead code removed.
X-Git-Tag: V_0_7_2_3~182
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f0b23f17200a0b86a1f53cac172a333ddbd8181d;p=helm.git

Dead code removed.
---

diff --git a/helm/ocaml/cic_unification/cicRefine.ml b/helm/ocaml/cic_unification/cicRefine.ml
index 03acb40cb..a0dfb9f28 100644
--- a/helm/ocaml/cic_unification/cicRefine.ml
+++ b/helm/ocaml/cic_unification/cicRefine.ml
@@ -152,7 +152,6 @@ let exp_impl metasenv subst context term =
         in
         let funs' = combine (funs, types) in
         metasenv', Cic.CoFix (i, funs')
-    | term -> metasenv,term
   and do_subst metasenv context subst =
     List.fold_right
       (fun (uri, term) (metasenv, substs) ->