1 files changed, 0 insertions, 45 deletions
diff --git a/omega/omega_lib/src/pres_gen.cc b/omega/omega_lib/src/pres_gen.cc
deleted file mode 100644
index 0f05d40..0000000
--- a/omega/omega_lib/src/pres_gen.cc
+++ /dev/null
@@ -1,45 +0,0 @@
-#include <omega/pres_gen.h>
-
-namespace omega {
-
-int     skip_finalization_check=0;
-// int     skip_set_checks=0;
-
-int   pres_debug=0	;
-FILE *DebugFile=stderr;  // This is the default; it's best to set it yourself.
-
-negation_control pres_legal_negations = any_negation;
-
-//
-// I/O utility functions.
-//
-// void PresErrAssert(const char *t) {
-//   fprintf(stdout, "\nERROR: %s\n", t);
-//   if(pres_debug) {
-//     fprintf(DebugFile, "\nERROR: %s\n", t);
-//   }
-//   exit(1);
-// }
-
-
-
-//
-// Needed for gprof
-//
-#if defined PROFILE_MALLOCS
-void* operator new(size_t n) {
-  void *result = malloc (n < 1 ? 1 : n);
-  if (result)
-    return result;
-  else {
-    write(2,"Virtual memory exceeded in new\n",32);
-    return 0;
-  }
-}
-
-void operator delete (void* f) {
-  if (f) free(f);
-}
-#endif
-
-} // namespace