Dead code removed.

diff --git a/helm/ocaml/cic_unification/cicRefine.ml b/helm/ocaml/cic_unification/cicRefine.ml
index 03acb40cb7b7b3c59958b8706a2273b528140bd3..a0dfb9f2889e2d7bb024a1e08b28c8d756616078 100644 (file)
--- 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) ->