X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_refiner%2FMakefile;h=bf1fe3be5e74c2c3e9f20dad1fd638b8dc16a144;hb=82b7eb102431915258b4886465f0bdc3305b3ae1;hp=7ff8f5fd0dd8ba73ec125936de3c298056f5c244;hpb=a18562238677261e3d0b590e046290a14fe62e74;p=helm.git

diff --git a/helm/software/components/ng_refiner/Makefile b/helm/software/components/ng_refiner/Makefile
index 7ff8f5fd0..bf1fe3be5 100644
--- a/helm/software/components/ng_refiner/Makefile
+++ b/helm/software/components/ng_refiner/Makefile
@@ -7,6 +7,7 @@ INTERFACE_FILES = \
 	nCicUnifHint.mli \
 	nCicCoercion.mli \
 	nRstatus.mli \
+        nCicRefineUtil.mli \
 	nCicUnification.mli \
 	nCicRefiner.mli