From: Clark Barrett <barrett@cs.nyu.edu>
Date: Tue, 2 Feb 2010 02:10:28 +0000 (+0000)
Subject: Fixed compile errors
X-Git-Tag: cvc5-1.0.0~9317
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2b02b131e49948180100c8ef86655cb204f529b1;p=cvc5.git

Fixed compile errors
---

diff --git a/src/context/context.cpp b/src/context/context.cpp
index 8083f2cc7..476f6d04b 100644
--- a/src/context/context.cpp
+++ b/src/context/context.cpp
@@ -15,6 +15,7 @@
 
 #include "context/context.h"
 #include "util/Assert.h"
+#include <cstdlib>
 
 
 namespace CVC4 {
diff --git a/src/context/context.h b/src/context/context.h
index fd145cbff..c59955f8d 100644
--- a/src/context/context.h
+++ b/src/context/context.h
@@ -381,7 +381,7 @@ public:
    * new operator.  To free this memory, instead of "delete p", use
    * "p->deleteSelf()".
    */
-  static void* operator new(size_t size, bool) { ::operator new(size); }
+  static void* operator new(size_t size, bool) { return ::operator new(size); }
 
   /**
    * Corresponding placement delete.  Note that this is provided for the