completed support for "-nodb", now also matitaclean and its library work with that...

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

diff --git a/helm/matita/matitaclean.ml b/helm/matita/matitaclean.ml
index e15f736dcafc9154510504c177aed40dab6288d6..9a5d1bf018228a995ad8a9a48d3d817dae32f1cc 100644 (file)
--- a/helm/matita/matitaclean.ml
+++ b/helm/matita/matitaclean.ml
@@ -30,7 +30,7 @@ module TA = GrafiteAst
 
 let _ = MatitaInit.initialize_all ()
 
-let main uri_to_remove = MatitacleanLib.clean_baseuris uri_to_remove
+let main = MatitacleanLib.clean_baseuris
 
 let _ =
   let uris_to_remove = ref [] in