From 2ca8bf894a2e40e56b9379289e46b0a0d33cf272 Mon Sep 17 00:00:00 2001 From: Clark Barrett Date: Fri, 29 Jan 2010 19:46:26 +0000 Subject: Update of context module --- src/context/context_mm.cpp | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/context/context_mm.cpp') diff --git a/src/context/context_mm.cpp b/src/context/context_mm.cpp index d772b886f..f282df96d 100644 --- a/src/context/context_mm.cpp +++ b/src/context/context_mm.cpp @@ -119,5 +119,7 @@ void ContextMemoryManager::pop() { } -}/* CVC4::context namespace */ -}/* CVC4 namespace */ +} /* CVC4::context namespace */ + + +} /* CVC4 namespace */ -- cgit v1.2.3