From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 10 Feb 2005 09:55:02 +0000 (+0000)
Subject: removed spurious dependency on Dbi_mysql
X-Git-Tag: before_svn_merge~14
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ccb56bd6ddeec70a1fb32304aec60a0721d260cc;p=helm.git

removed spurious dependency on Dbi_mysql
---

diff --git a/helm/searchEngine/Makefile b/helm/searchEngine/Makefile
index b0836f5b0..13c4f1eda 100644
--- a/helm/searchEngine/Makefile
+++ b/helm/searchEngine/Makefile
@@ -1,4 +1,4 @@
-REQUIRES = http dbi.mysql helm-cic_textual_parser2 helm-logger helm-tactics
+REQUIRES = http helm-cic_textual_parser2 helm-logger helm-tactics
 OCAMLOPTIONS = -thread -package "$(REQUIRES)" -pp camlp4o
 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
diff --git a/helm/searchEngine/searchEngine.ml b/helm/searchEngine/searchEngine.ml
index 0bb29ec49..87546b1ff 100644
--- a/helm/searchEngine/searchEngine.ml
+++ b/helm/searchEngine/searchEngine.ml
@@ -25,8 +25,6 @@
 
 open Printf
 
-module DB = Dbi_mysql
-
 let debug = true
 let debug_print s = if debug then prerr_endline s
 let _ = Http_common.debug := false