X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Flexicon%2FlexiconEngine.ml;fp=helm%2Focaml%2Flexicon%2FlexiconEngine.ml;h=aec759c964d64d3b3d00f9ea92d87c73d42a5445;hb=63b0d7b57e1c0b85c8e38fadf1d24411fa9b4897;hp=d85ed51d896424f93591ed60a5446f8b1ab5f081;hpb=339af4cc4fb745a8b284bde75b36178a26055468;p=helm.git

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' }