Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
buddy
src
kernel.c
Find file
Blame
History
Permalink
* 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