removed spurious dependency on Dbi_mysql

diff --git a/helm/searchEngine/Makefile b/helm/searchEngine/Makefile
index b0836f5b06a147f98e2d70a91f0f681d6f026323..13c4f1eda254dd2538a668b65a9d4436af4300bc 100644 (file)
--- 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 0bb29ec495dde61b29813f92b41cfe346051fc26..87546b1ffdff61fbdd0a73e93a859aa087427674 100644 (file)
--- 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