From 210f77d2c32f14d2e99577fd3c9842bb19d47e50 Mon Sep 17 00:00:00 2001
From: Tuowen Zhao <ztuowen@gmail.com>
Date: Mon, 19 Sep 2016 21:14:58 +0000
Subject: Moved most modules into lib

---
 omegalib/omega/src/pres_gen.cc | 45 ------------------------------------------
 1 file changed, 45 deletions(-)
 delete mode 100644 omegalib/omega/src/pres_gen.cc

(limited to 'omegalib/omega/src/pres_gen.cc')

diff --git a/omegalib/omega/src/pres_gen.cc b/omegalib/omega/src/pres_gen.cc
deleted file mode 100644
index 0f05d40..0000000
--- a/omegalib/omega/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
-- 
cgit v1.2.3-70-g09d2