Release 0.5.9.

[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 bf1fe3be5e74c2c3e9f20dad1fd638b8dc16a144..7ff8f5fd0dd8ba73ec125936de3c298056f5c244 100644 (file)
--- a/helm/software/components/ng_refiner/Makefile
+++ b/helm/software/components/ng_refiner/Makefile
@@ -7,7 +7,6 @@ INTERFACE_FILES = \
        nCicUnifHint.mli \
        nCicCoercion.mli \
        nRstatus.mli \
-        nCicRefineUtil.mli \
        nCicUnification.mli \
        nCicRefiner.mli