X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_disambiguation%2Fnnumber_notation.ml;h=2e5a8fcb5234e251a979b403547adf0804477f84;hb=6b4da5fa47d474dcf2f203ec7f5ed36938739c9b;hp=8eaa705f22995bc3494e14e49f3ce5c3a8df0400;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/components/ng_disambiguation/nnumber_notation.ml b/matita/components/ng_disambiguation/nnumber_notation.ml
index 8eaa705f2..2e5a8fcb5 100644
--- a/matita/components/ng_disambiguation/nnumber_notation.ml
+++ b/matita/components/ng_disambiguation/nnumber_notation.ml
@@ -41,7 +41,7 @@ let ninterp_natural_number num =
       | None     -> error "no default natural numbers"
    in
   *)
-   let nat_URI = NUri.uri_of_string "cic:/matita/ng/arithmetics/nat/nat.ind" in
+   let nat_URI = NUri.uri_of_string "cic:/matita/arithmetics/nat/nat.ind" in
    let o () =
     NCic.Const
      (NReference.reference_of_spec nat_URI (NReference.Con (0,1,0))) in
@@ -51,8 +51,3 @@ let ninterp_natural_number num =
       (NReference.reference_of_spec nat_URI (NReference.Con (0,2,0)));
       t] in
    build_nat o s num
-
-let _ =
-  DisambiguateChoices.nadd_num_choice
-    ("nnatural number", `Num_interp ninterp_natural_number);
-;;