From 4f1fa17a0ed1f22414536c115e11f0e6da3d88aa Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 5 Nov 2002 10:18:16 +0000 Subject: [PATCH] mathql_interpreter_galax removed --- 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 06a314961..9ebef2422 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 \ - mathql mathql_interpreter mathql_interpreter_galax + mathql mathql_interpreter OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@ OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@ -- 2.39.2