- oCic2NCic and nCic2OCic moved to ng_library

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

diff --git a/helm/software/components/ng_library/Makefile b/helm/software/components/ng_library/Makefile
index ee8fbad13fb9a2607bbe7f2ae55c0e9cacd3b6b8..e5cd7fb1f349ca60a50196e10a82e6d8e887aec9 100644 (file)
--- a/helm/software/components/ng_library/Makefile
+++ b/helm/software/components/ng_library/Makefile
@@ -2,6 +2,8 @@ PACKAGE = ng_library
 PREDICATES =
 
 INTERFACE_FILES = \
+       nCic2OCic.mli \
+       oCic2NCic.mli  \
        nCicLibrary.mli
 
 IMPLEMENTATION_FILES = \