From a3ba27eb57f505d2e9cc460c9e4d1e3b79ffdcef Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 20 Feb 2003 17:33:08 +0000 Subject: [PATCH] build also mquery_generator module --- helm/ocaml/Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in index 126f55dd2..0996f7497 100644 --- a/helm/ocaml/Makefile.in +++ b/helm/ocaml/Makefile.in @@ -1,7 +1,7 @@ # Warning: the modules must be in compilation order MODULES = xml urimanager getter pxp cic cic_annotations cic_annotations_cache \ cic_cache cic_proof_checking cic_textual_parser cic_unification \ - tactics mathql mathql_interpreter + mathql mathql_interpreter mquery_generator tactics OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@ OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@ -- 2.39.2