Goodbye CVC4, hello cvc5! (#6371)

This commits changes the build system to cvc5 and removes the remaining
occurrences of CVC4. It further cleans up outdated/unused scripts in contrib/.

1 files changed, 3 insertions, 3 deletions

diff --git a/src/expr/symbol_table.h b/src/expr/symbol_table.h
index cd80c0eba..ddf26f9da 100644
--- a/src/expr/symbol_table.h
+++ b/src/expr/symbol_table.h
@@ -23,7 +23,7 @@
 #include <vector>
 
 #include "base/exception.h"
-#include "cvc4_export.h"
+#include "cvc5_export.h"
 
 namespace cvc5 {
 
@@ -33,7 +33,7 @@ class Sort;
 class Term;
 }  // namespace api
 
-class CVC4_EXPORT ScopeException : public Exception
+class CVC5_EXPORT ScopeException : public Exception
 {
 };
 
@@ -42,7 +42,7 @@ class CVC4_EXPORT ScopeException : public Exception
  * nested scoping rules for declarations, with separate bindings for expressions
  * and types.
  */
-class CVC4_EXPORT SymbolTable
+class CVC5_EXPORT SymbolTable
 {
  public:
   /** Create a symbol table. */