to avoid a case of divergence small_delta_step checks if terms are flexible and

[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 33a66bd8c86c608d359ad8b8319ff5b111219d71..e859d3996b0dede57d8ccd060785eb8b88fe5a2b 100644 (file)
--- a/helm/software/components/ng_refiner/Makefile
+++ b/helm/software/components/ng_refiner/Makefile
@@ -2,6 +2,7 @@ PACKAGE = ng_refiner
 PREDICATES =
 
 INTERFACE_FILES = \
+       nDiscriminationTree.mli \
        nCicMetaSubst.mli \
        nCicUnification.mli \
        nCicRefiner.mli \