PACKAGE = mathql
-REQUIRES = helm-cic helm-cic_textual_parser
+REQUIRES = helm-cic
PREDICATES =
-INTERFACE_FILES = mQueryMisc.mli
+INTERFACE_FILES =
-IMPLEMENTATION_FILES = mathQL.ml mQueryMisc.ml
+IMPLEMENTATION_FILES = mathQL.ml
EXTRA_OBJECTS_TO_INSTALL = mathQL.ml mathQL.cmi