From f0b23f17200a0b86a1f53cac172a333ddbd8181d Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 26 Oct 2005 10:01:36 +0000
Subject: [PATCH] Dead code removed.

---
 helm/ocaml/cic_unification/cicRefine.ml | 1 -
 1 file changed, 1 deletion(-)

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) ->
-- 
2.39.2