From ae5ee4b07dc3d3c792e7fe7f382ff490dd28aca4 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 21 Apr 2021 10:21:34 -0700
Subject: 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/.
---
 src/options/open_ostream.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/options/open_ostream.h')

diff --git a/src/options/open_ostream.h b/src/options/open_ostream.h
index b135ef7ce..162bf3f11 100644
--- a/src/options/open_ostream.h
+++ b/src/options/open_ostream.h
@@ -54,7 +54,7 @@ class OstreamOpener {
 
 }; /* class OstreamOpener */
 
-std::string cvc4_errno_failreason();
+std::string cvc5_errno_failreason();
 
 }  // namespace cvc5
 
-- 
cgit v1.2.3