From 63b0d7b57e1c0b85c8e38fadf1d24411fa9b4897 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 10 Jan 2006 12:06:02 +0000
Subject: [PATCH] Dead code removed.

---
 helm/ocaml/lexicon/lexiconEngine.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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