X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_disambiguation%2Fnnumber_notation.mli;h=dd0a6fbad29d106495f15f7ff99ee25612e89eeb;hb=HEAD;hp=91cba3b7c91490d5f1750c93475590a7063a9e14;hpb=791d52ba005e434be27cca1f8059d9f28da0183b;p=helm.git

diff --git a/matita/components/ng_disambiguation/nnumber_notation.mli b/matita/components/ng_disambiguation/nnumber_notation.mli
index 91cba3b7c..dd0a6fbad 100644
--- a/matita/components/ng_disambiguation/nnumber_notation.mli
+++ b/matita/components/ng_disambiguation/nnumber_notation.mli
@@ -25,4 +25,4 @@
 
 (* $Id: number_notation.ml 9771 2009-05-14 13:43:55Z fguidi $ *)
 
-(* Works by side-effects only *)
+val ninterp_natural_number: string -> NCic.term