From 406eaf99796e08d940cf24dafa3afa5679a8ba8b Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 30 Oct 2006 18:10:25 +0000 Subject: [PATCH] TermAcicContent.Interpretation_not_found catched and handled correctly. --- components/cic_disambiguation/disambiguate.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/components/cic_disambiguation/disambiguate.ml b/components/cic_disambiguation/disambiguate.ml index 3f3d8235a..1560f0016 100644 --- a/components/cic_disambiguation/disambiguate.ml +++ b/components/cic_disambiguation/disambiguate.ml @@ -866,8 +866,11 @@ let refine_profiler = HExtlib.profile "disambiguate_thing.refine_thing" match item with | Id id -> choices_of_id dbd id | Symbol (symb, _) -> - List.map DisambiguateChoices.mk_choice + (try + List.map DisambiguateChoices.mk_choice (TermAcicContent.lookup_interpretations symb) + with + TermAcicContent.Interpretation_not_found -> []) | Num instance -> DisambiguateChoices.lookup_num_choices () in -- 2.39.2