Merge branch 'master' of ssh://matita.cs.unibo.it:/srv/git/helm

[helm.git] / matita / components / ng_disambiguation / disambiguateChoices.mli

diff --git a/matita/components/ng_disambiguation/disambiguateChoices.mli b/matita/components/ng_disambiguation/disambiguateChoices.mli
index 60a938a80b5a5b333d5226dcc58d374b4ec2f858..391fd67ca748bae2741628562260df1447345dd5 100644 (file)
--- a/matita/components/ng_disambiguation/disambiguateChoices.mli
+++ b/matita/components/ng_disambiguation/disambiguateChoices.mli
@@ -30,9 +30,6 @@ open DisambiguateTypes
   (** raised by lookup_XXXX below *)
 exception Choice_not_found of string Lazy.t
 
-  (** register a new number choice *)
-val nadd_num_choice: NCic.term codomain_item -> unit
-
 (** {2 Choices lookup}
  * for user defined aliases *)