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