Use Assert instead of assert. (#6095)

This commit replaces all uses of assert with Assert from base/check.h to ensure that all assertions get checked in production builds with enabled assertions.

1 files changed, 5 insertions, 5 deletions

diff --git a/src/parser/parser_builder.cpp b/src/parser/parser_builder.cpp
index 569c63dd0..f47558418 100644
--- a/src/parser/parser_builder.cpp
+++ b/src/parser/parser_builder.cpp
@@ -15,15 +15,15 @@
  **/
 
 // This must be included first.
-#include "parser/antlr_input.h"
-
 #include "parser/parser_builder.h"
 
 #include <string>
 
 #include "api/cvc4cpp.h"
+#include "base/check.h"
 #include "cvc/cvc.h"
 #include "options/options.h"
+#include "parser/antlr_input.h"
 #include "parser/input.h"
 #include "parser/parser.h"
 #include "smt2/smt2.h"
@@ -77,11 +77,11 @@ Parser* ParserBuilder::build()
     input = Input::newFileInput(d_lang, d_filename, d_mmap);
     break;
   case LINE_BUFFERED_STREAM_INPUT:
-    assert( d_streamInput != NULL );
+    Assert(d_streamInput != NULL);
     input = Input::newStreamInput(d_lang, *d_streamInput, d_filename, true);
     break;
   case STREAM_INPUT:
-    assert( d_streamInput != NULL );
+    Assert(d_streamInput != NULL);
     input = Input::newStreamInput(d_lang, *d_streamInput, d_filename);
     break;
   case STRING_INPUT:
@@ -89,7 +89,7 @@ Parser* ParserBuilder::build()
     break;
   }
 
-  assert(input != NULL);
+  Assert(input != NULL);
 
   Parser* parser = NULL;
   switch (d_lang)