...

[helm.git] / helm / software / components / ng_refiner / Makefile

diff --git a/helm/software/components/ng_refiner/Makefile b/helm/software/components/ng_refiner/Makefile
index 7ff8f5fd0dd8ba73ec125936de3c298056f5c244..bf1fe3be5e74c2c3e9f20dad1fd638b8dc16a144 100644 (file)
--- 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