minor cleanup

diff --git a/src/theory/quantifiers/inst_match.cpp b/src/theory/quantifiers/inst_match.cpp
index 14a84ea723eaccb41ff0ccde97d37b5af269e445..ce35607d4fd6918ee5c748c1f88349d6268fb1ba 100644 (file)
--- a/src/theory/quantifiers/inst_match.cpp
+++ b/src/theory/quantifiers/inst_match.cpp
@@ -881,4 +881,6 @@ int InstMatchGeneratorSimple::addTerm( Node f, Node t, QuantifiersEngine* qe ){
   return qe->addInstantiation( f, m ) ? 1 : 0;
 }
 
-}}}
+}/* CVC4::theory::inst namespace */
+}/* CVC4::theory namespace */
+}/* CVC4 namespace */