1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/dense_map.h b/src/util/dense_map.h
index cc1a094eb..08da8faaa 100644
--- a/src/util/dense_map.h
+++ b/src/util/dense_map.h
@@ -29,7 +29,7 @@
 #include <limits>
 #include <vector>
 
-#include "base/cvc4_assert.h"
+#include "base/check.h"
 #include "util/index.h"
 
 
@@ -101,7 +101,7 @@ public:
     if( x >= allocated()){
       return false;
     }else{
-      Assert(x <  allocated());
+      Assert(x < allocated());
       return d_posVector[x] != +POSITION_SENTINEL;
     }
   }