From eac74259f5a0aaa8056791876284c897a6827c24 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 4 Feb 2005 09:28:42 +0000
Subject: [PATCH] - removed dependency on mathql - cosmetic changes

---
 helm/ocaml/tactics/Makefile | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/helm/ocaml/tactics/Makefile b/helm/ocaml/tactics/Makefile
index 60ca2cd0c..744527b1e 100644
--- a/helm/ocaml/tactics/Makefile
+++ b/helm/ocaml/tactics/Makefile
@@ -1,8 +1,10 @@
 PACKAGE = tactics
 REQUIRES = \
-	pcre helm-cic_proof_checking \
-	helm-cic_unification helm-mathql_interpreter helm-mathql_generator \
-	mysql helm-metadata
+	pcre \
+	helm-cic_proof_checking \
+	helm-cic_unification \
+	mysql \
+	helm-metadata
 
 INTERFACE_FILES = \
 	proofEngineTypes.mli \
-- 
2.39.5