From 6f2724b64f78339cc7b652e9514813c1705605b0 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 7 Nov 2005 12:44:22 +0000 Subject: [PATCH] Duplicated exception definition removed (used to give birth to a bug due to the generativeness of exceptions). --- helm/ocaml/cic_disambiguation/disambiguateChoices.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/helm/ocaml/cic_disambiguation/disambiguateChoices.ml b/helm/ocaml/cic_disambiguation/disambiguateChoices.ml index 99f8fca91..c660bb6b0 100644 --- a/helm/ocaml/cic_disambiguation/disambiguateChoices.ml +++ b/helm/ocaml/cic_disambiguation/disambiguateChoices.ml @@ -27,7 +27,6 @@ open Printf open DisambiguateTypes -exception Invalid_choice exception Choice_not_found of string Lazy.t let num_choices = ref [] -- 2.39.2