diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2010-01-29 19:46:26 +0000 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2010-01-29 19:46:26 +0000 |
| commit | 2ca8bf894a2e40e56b9379289e46b0a0d33cf272 (patch) | |
| tree | 72ee36134fe877452d2bc44124a96bea7cc1339f /src/context/context_mm.cpp | |
| parent | 2a9e6970b971eb0a9ac4c216fe5f5f1542e195e0 (diff) | |
Update of context module
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 */ |