diff options
Diffstat (limited to 'src/util/smt2_quote_string.h')
-rw-r--r-- | src/util/smt2_quote_string.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/smt2_quote_string.h b/src/util/smt2_quote_string.h index 911faae42..b9e6592df 100644 --- a/src/util/smt2_quote_string.h +++ b/src/util/smt2_quote_string.h @@ -21,13 +21,13 @@ #include <string> -namespace CVC4 { +namespace CVC5 { /** * SMT-LIB 2 quoting for symbols */ std::string quoteSymbol(const std::string& s); -}/* CVC4 namespace */ +} // namespace CVC5 #endif /* CVC4__UTIL__SMT2_QUOTE_STRING_H */ |