X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_disambiguation%2FMakefile;h=082d000bc7b1675c5083c69378ab6d53c62d411d;hb=4556677f40e6b979d9bdaa4475bb1ca6701264f8;hp=8c564325e6e069894d7db3805651981b0e33622b;hpb=791d52ba005e434be27cca1f8059d9f28da0183b;p=helm.git

diff --git a/matita/components/ng_disambiguation/Makefile b/matita/components/ng_disambiguation/Makefile
index 8c564325e..082d000bc 100644
--- a/matita/components/ng_disambiguation/Makefile
+++ b/matita/components/ng_disambiguation/Makefile
@@ -2,9 +2,9 @@ PACKAGE = ng_disambiguation
 PREDICATES =
 
 INTERFACE_FILES =		\
+	nnumber_notation.mli    \
 	disambiguateChoices.mli \
   nCicDisambiguate.mli    \
-	nnumber_notation.mli    \
 	grafiteDisambiguate.mli \
 	$(NULL)
 IMPLEMENTATION_FILES =		\