From 8cc0cbeba5135742b519cc6fb990221e847a12fa Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 18 Sep 2008 15:03:21 +0000 Subject: [PATCH] removed debug pps --- helm/software/components/library/librarian.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/library/librarian.ml b/helm/software/components/library/librarian.ml index b0c601f1f..9b08f4614 100644 --- 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 -- 2.39.2