]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/lexicon/lexiconEngine.ml
Dead code removed.
[helm.git] / helm / ocaml / lexicon / lexiconEngine.ml
index d85ed51d896424f93591ed60a5446f8b1ab5f081..aec759c964d64d3b3d00f9ea92d87c73d42a5445 100644 (file)
@@ -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' }