decent error on interpretation declaration

diff --git a/helm/software/components/lexicon/lexiconEngine.ml b/helm/software/components/lexicon/lexiconEngine.ml
index 12200193e034c4d9af35a84b5df2edbb6b51c1bb..54c5985f3cda38c02fca901ea5b41909840fdcfc 100644 (file)
--- 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