X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_refiner%2FMakefile;h=79871a567964b2bce491529af178a83cfa6637c8;hb=ea6b4322051d3eb1794bfca3928f6e1773f971ba;hp=bf1fe3be5e74c2c3e9f20dad1fd638b8dc16a144;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/components/ng_refiner/Makefile b/matita/components/ng_refiner/Makefile
index bf1fe3be5..79871a567 100644
--- a/matita/components/ng_refiner/Makefile
+++ b/matita/components/ng_refiner/Makefile
@@ -6,8 +6,7 @@ INTERFACE_FILES = \
 	nCicMetaSubst.mli \
 	nCicUnifHint.mli \
 	nCicCoercion.mli \
-	nRstatus.mli \
-        nCicRefineUtil.mli \
+  nCicRefineUtil.mli \
 	nCicUnification.mli \
 	nCicRefiner.mli