From d0b7d92947b7286d8a8b07d72e53f9dbebe844b3 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 19 Jan 2004 10:39:17 +0000 Subject: [PATCH] mathql listed twice --- 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 caa5169d6..73c3a91c0 100644 --- a/helm/ocaml/Makefile.in +++ b/helm/ocaml/Makefile.in @@ -13,7 +13,7 @@ MODULES = \ tex_cic_textual_parser \ cic_unification \ mathql \ - mathql mathql_generator \ + mathql_generator \ mathql_interpreter \ cic_omdoc \ tactics \ -- 2.39.2