- added support for "-nodb" flag (still missing support for matitaclean which relies...

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

diff --git a/helm/matita/matitacleanLib.ml b/helm/matita/matitacleanLib.ml
index 77a7d7b6f633c64233404f672ea9db4412946ffb..2d1cbfdef4fb1d7a39cf9649b9f10c0fcec85c99 100644 (file)
--- a/helm/matita/matitacleanLib.ml
+++ b/helm/matita/matitacleanLib.ml
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+open Printf
+
 let debug = false
 let debug_prerr = if debug then prerr_endline else ignore
 
@@ -49,8 +51,9 @@ let one_step_depend suri =
         let buri = buri ^ "/" in 
         let buri = HMysql.escape buri in
         let obj_tbl = MetadataTypes.obj_tbl () in
-        Printf.sprintf 
-          "SELECT source, h_occurrence FROM %s WHERE h_occurrence LIKE '%s%%'" obj_tbl buri
+        sprintf 
+          "SELECT source, h_occurrence FROM %s WHERE h_occurrence LIKE '%s%%'"
+            obj_tbl buri
       in
       try 
         let rc = HMysql.exec (MatitaDb.instance ()) query in
@@ -66,7 +69,6 @@ let one_step_depend suri =
       with
         exn -> raise exn (* no errors should be accepted *)
     end
-
     
 let safe_buri_of_suri suri =
   try
@@ -156,3 +158,4 @@ let clean_baseuris ?(verbose=true) buris =
       MetadataTypes.sort_tbl (); MetadataTypes.obj_tbl();
       MetadataTypes.count_tbl()]
    end
+