From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 10 Jan 2006 12:06:02 +0000 (+0000)
Subject: Dead code removed.
X-Git-Tag: make_still_working~7857
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=63b0d7b57e1c0b85c8e38fadf1d24411fa9b4897;p=helm.git

Dead code removed.
---

diff --git a/helm/ocaml/lexicon/lexiconEngine.ml b/helm/ocaml/lexicon/lexiconEngine.ml
index d85ed51d8..aec759c96 100644
--- a/helm/ocaml/lexicon/lexiconEngine.ml
+++ b/helm/ocaml/lexicon/lexiconEngine.ml
@@ -57,8 +57,7 @@ let add_metadata new_metadata status =
           | LibraryNoDb.Dependency buri ->
               if List.exists (LibraryNoDb.eq_metadata m) metadata
               then acc
-              else m :: acc
-          | _ -> m :: acc)
+              else m :: acc)
         metadata new_metadata
     in
     { status with metadata = metadata' }