buddy/src/kernel.c · 894c864fd5f0789069c5bd956b4207876a5063b5 · Spot / Spot · GitLab

Sep 19, 2007
894c864f
* src/kernel.c (bdd_default_gbchandler): Log garbage collection to · 894c864f
Alexandre Duret-Lutz authored Sep 19, 2007
```
stderr, not stdout.  Reported by Kristin Yvonne Rozier
<kyrozier@cs.rice.edu>.
```
894c864f
* src/kernel.c (bdd_default_gbchandler): Log garbage collection to
Alexandre Duret-Lutz authored Sep 19, 2007
```
stderr, not stdout.  Reported by Kristin Yvonne Rozier
<kyrozier@cs.rice.edu>.
```