From 894c864fd5f0789069c5bd956b4207876a5063b5 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 19 Sep 2007 18:58:20 +0000 Subject: [PATCH] * src/kernel.c (bdd_default_gbchandler): Log garbage collection to stderr, not stdout. Reported by Kristin Yvonne Rozier . --- buddy/ChangeLog | 6 ++++++ buddy/src/kernel.c | 6 +++--- 2 files changed, 9 insertions(+), 3 deletions(-) diff --git a/buddy/ChangeLog b/buddy/ChangeLog index ef91e3499..d9c134015 100644 --- a/buddy/ChangeLog +++ b/buddy/ChangeLog @@ -1,3 +1,9 @@ +2007-09-19 Alexandre Duret-Lutz + + * src/kernel.c (bdd_default_gbchandler): Log garbage collection to + stderr, not stdout. Reported by Kristin Yvonne Rozier + . + 2004-07-23 Alexandre Duret-Lutz * configure.ac: Call AC_LIBTOOL_WIN32_DLL diff --git a/buddy/src/kernel.c b/buddy/src/kernel.c index 8f8569f0e..d4b45afb3 100644 --- a/buddy/src/kernel.c +++ b/buddy/src/kernel.c @@ -28,7 +28,7 @@ ========================================================================*/ /************************************************************************* - $Header: /Volumes/CVS/repository/spot/spot/buddy/src/kernel.c,v 1.5 2003/05/22 15:07:27 aduret Exp $ + $Header: /Volumes/CVS/repository/spot/spot/buddy/src/kernel.c,v 1.6 2007/09/19 18:58:20 adl Exp $ FILE: kernel.c DESCR: implements the bdd kernel functions. AUTH: Jorn Lind @@ -991,9 +991,9 @@ void bdd_default_gbchandler(int pre, bddGbcStat *s) { if (!pre) { - printf("Garbage collection #%d: %d nodes / %d free", + fprintf(stderr, "Garbage collection #%d: %d nodes / %d free", s->num, s->nodes, s->freenodes); - printf(" / %.1fs / %.1fs total\n", + fprintf(stderr, " / %.1fs / %.1fs total\n", (float)s->time/(float)(CLOCKS_PER_SEC), (float)s->sumtime/(float)CLOCKS_PER_SEC); }