debug.cc


1
2
3
4
5
6
7
8
9
10
11
12

#include <fstream.h>
#include "debug.hh"
#include "dstream.hh"
#include "vector.hh"

Dstream monitor(&cout,".dstreamrc");
ostream * nulldev = new ofstream("/dev/null");
void
debug_init()
{
    set_matrix_debug(monitor);
}