fix memory leak
[model-checker.git] / output.h
2012-11-20 Brian Norrisoutput: don't redirect any output for DEBUG builds
2012-11-17 Brian Norrisoutput redirection