Dead code removed.

diff --git a/helm/ocaml/lexicon/lexiconEngine.ml b/helm/ocaml/lexicon/lexiconEngine.ml
index d85ed51d896424f93591ed60a5446f8b1ab5f081..aec759c964d64d3b3d00f9ea92d87c73d42a5445 100644 (file)
--- 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' }