From 2b02b131e49948180100c8ef86655cb204f529b1 Mon Sep 17 00:00:00 2001 From: Clark Barrett Date: Tue, 2 Feb 2010 02:10:28 +0000 Subject: [PATCH] Fixed compile errors --- src/context/context.cpp | 1 + src/context/context.h | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) 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 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 -- 2.30.2