// ugh
struct _Dinit {
_Dinit() {
- nulldev = new ofstream("/dev/null");
- monitor = new Dstream(&cout,".dstreamrc");
+ nulldev = new ofstream ("/dev/null");
+ monitor = new Dstream (&cout,".dstreamrc");
}
~_Dinit() {
delete nulldev;
void
mynewhandler()
{
- assert(false);
+ assert (false);
}
void
-float_handler(int)
+float_handler (int)
{
cerr << "Floating point exception .. \n"<< flush;
- assert(false);
+ assert (false);
}
/// just to make sure print_rat is linked in
{
rat_printer = print_rat;
#ifndef NDEBUG
- set_new_handler(&mynewhandler);
+ set_new_handler (&mynewhandler);
#endif
- set_flower_debug(*monitor, check_debug);
+ set_flower_debug (*monitor, check_debug);
- signal(SIGFPE, float_handler);
+ signal (SIGFPE, float_handler);
}
bool check_debug=false;
void
-set_debug(bool b)
+set_debug (bool b)
{
check_debug =b;
- set_flower_debug(*monitor, check_debug);
+ set_flower_debug (*monitor, check_debug);
}