diff options
Diffstat (limited to 'src/context/context_mm.cpp')
| -rw-r--r-- | src/context/context_mm.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
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 */ |