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

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

diff --git a/helm/matita/matitacLib.ml b/helm/matita/matitacLib.ml
index 0db34ea88012a17ef047b0ffc5ed7cd6d065fcd2..a10594ab2a68ebf3f0f909d4140ce2ae165c86c5 100644 (file)
--- a/helm/matita/matitacLib.ml
+++ b/helm/matita/matitacLib.ml
@@ -134,9 +134,9 @@ let main ~mode =
   Sys.catch_break true;
   let origcb = MatitaLog.get_log_callback () in
   let newcb tag s =
-        match tag with
-        | `Debug | `Message -> ()
-        | `Warning | `Error -> origcb tag s
+    match tag with
+    | `Debug | `Message -> ()
+    | `Warning | `Error -> origcb tag s
   in
   if Helm_registry.get_bool "matita.quiet" then
     MatitaLog.set_log_callback newcb;