From 43ab3f4cd1aa5549cb1aa3c20a2d589614bcb8fc Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 30 Oct 2019 15:27:10 -0700
Subject: Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366)

---
 src/prop/sat_solver.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/prop/sat_solver.h')

diff --git a/src/prop/sat_solver.h b/src/prop/sat_solver.h
index 45bfca4d6..9898f3f87 100644
--- a/src/prop/sat_solver.h
+++ b/src/prop/sat_solver.h
@@ -83,7 +83,7 @@ public:
   /** Check satisfiability under assumptions */
   virtual SatValue solve(const std::vector<SatLiteral>& assumptions)
   {
-    Unimplemented("Solving under assumptions not implemented");
+    Unimplemented() << "Solving under assumptions not implemented";
   };
 
   /** Interrupt the solver */
-- 
cgit v1.2.3