From c4b2d1c460f051572d30900ef9014e6ca7fca8c6 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 2 Sep 2009 08:56:04 +0000
Subject: [PATCH] decent error on interpretation declaration

---
 helm/software/components/lexicon/lexiconEngine.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/helm/software/components/lexicon/lexiconEngine.ml b/helm/software/components/lexicon/lexiconEngine.ml
index 12200193e..54c5985f3 100644
--- a/helm/software/components/lexicon/lexiconEngine.ml
+++ b/helm/software/components/lexicon/lexiconEngine.ml
@@ -142,7 +142,9 @@ let rec eval_command ?(mode=L.WithPreferences) sstatus cmd =
               prerr_endline ("LexiconEngine.eval_command: domain item not found: " ^ 
                (DisambiguateTypes.string_of_domain_item item));
 	      dump_aliases prerr_endline "" sstatus;
-              assert false
+              raise (Failure (
+                      (DisambiguateTypes.string_of_domain_item item) ^ 
+                      " not found"));
 	    end
        | p -> p
      in
-- 
2.39.2