removed debug pps

diff --git a/helm/software/components/library/librarian.ml b/helm/software/components/library/librarian.ml
index b0c601f1f3120d89b116887d138c68c7fbc7a98d..9b08f46145c6879a745aa9de619d6a1e84cdd4da 100644 (file)
--- a/helm/software/components/library/librarian.ml
+++ b/helm/software/components/library/librarian.ml
@@ -23,7 +23,7 @@
  * http://helm.cs.unibo.it/
  *)
 
-let debug = ref true
+let debug = ref false
 
 let time_stamp =
    let old = ref 0.0 in