- hmysql removed (RIP)

[helm.git] / matita / matita / matitaScript.ml

diff --git a/matita/matita/matitaScript.ml b/matita/matita/matitaScript.ml
index 1de645619c9af7b02678f18c71725e332c9aaf73..ae56969d3fc7338624af6391daae34559f9ba955 100644 (file)
--- a/matita/matita/matitaScript.ml
+++ b/matita/matita/matitaScript.ml
@@ -193,7 +193,6 @@ let eval_nmacro include_paths (buffer : GText.buffer) guistuff grafite_status us
 let rec eval_macro include_paths (buffer : GText.buffer) guistuff grafite_status user_goal unparsed_text parsed_text script mac =
   (* no idea why ocaml wants this *)
   let parsed_text_length = String.length parsed_text in
-  let dbd = LibraryDb.instance () in
   match mac with
   (* REAL macro *)
   | TA.Hint (loc, rewrite) -> (* MATITA 1.0 *) assert false