debug.cc

   1 #include <fstream.h>
   2 #include "debug.hh"
   3 #include "dstream.hh"
   4 #include "vector.hh"
   5
   6 Dstream monitor(&cout,".dstreamrc");
   7 ostream * nulldev = new ofstream("/dev/null");
   8 void
   9 debug_init()
  10 {
  11     set_matrix_debug(monitor);
  12 }