diff options
Diffstat (limited to 'src/theory/substitutions.cpp')
| -rw-r--r-- | src/theory/substitutions.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/substitutions.cpp b/src/theory/substitutions.cpp index 8657ed871..76551bc18 100644 --- a/src/theory/substitutions.cpp +++ b/src/theory/substitutions.cpp @@ -161,5 +161,5 @@ void SubstitutionMap::print(ostream& out) const { } } -} -} +}/* CVC4::theory namespace */ +}/* CVC4 namespace */ |