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/theory/arith/bound_counts.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/theory/arith/bound_counts.h')

diff --git a/src/theory/arith/bound_counts.h b/src/theory/arith/bound_counts.h
index 7bd69190e..43fa4e437 100644
--- a/src/theory/arith/bound_counts.h
+++ b/src/theory/arith/bound_counts.h
@@ -20,7 +20,7 @@
 
 #include <stdint.h>
 
-#include "base/cvc4_assert.h"
+#include "base/check.h"
 #include "theory/arith/arithvar.h"
 #include "util/dense_map.h"
 
@@ -66,7 +66,7 @@ public:
   }
 
   inline BoundCounts operator-(BoundCounts bc) const {
-    Assert( *this >= bc );
+    Assert(*this >= bc);
     return BoundCounts(d_lowerBoundCount - bc.d_lowerBoundCount,
                        d_upperBoundCount - bc.d_upperBoundCount);
   }
-- 
cgit v1.2.3