1 files changed, 7 insertions, 7 deletions
diff --git a/src/parser/antlr_input_imports.cpp b/src/parser/antlr_input_imports.cpp
index 974405a19..121298c4f 100644
--- a/src/parser/antlr_input_imports.cpp
+++ b/src/parser/antlr_input_imports.cpp
@@ -49,11 +49,11 @@
 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
 // THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
-
-
 #include <antlr3.h>
+
 #include <sstream>
 
+#include "base/check.h"
 #include "parser/antlr_input.h"
 #include "parser/parser.h"
 #include "parser/parser_exception.h"
@@ -91,11 +91,11 @@ void AntlrInput::reportError(pANTLR3_BASE_RECOGNIZER recognizer) {
 
   // Dig the CVC4 objects out of the ANTLR3 mess
   pANTLR3_PARSER antlr3Parser = (pANTLR3_PARSER)(recognizer->super);
-  assert(antlr3Parser!=NULL);
+  Assert(antlr3Parser != NULL);
   Parser *parser = (Parser*)(antlr3Parser->super);
-  assert(parser!=NULL);
+  Assert(parser != NULL);
   AntlrInput *input = (AntlrInput*) parser->getInput() ;
-  assert(input!=NULL);
+  Assert(input != NULL);
 
   // Signal we are in error recovery now
   recognizer->state->errorRecovery = ANTLR3_TRUE;
@@ -237,7 +237,7 @@ void AntlrInput::reportError(pANTLR3_BASE_RECOGNIZER recognizer) {
         }
       }
     } else {
-      assert(false);//("Parse error with empty set of expected tokens.");
+      Assert(false);  //("Parse error with empty set of expected tokens.");
     }
   }
     break;
@@ -259,7 +259,7 @@ void AntlrInput::reportError(pANTLR3_BASE_RECOGNIZER recognizer) {
     // then we are just going to report what we know about the
     // token.
     //
-    assert(false);//("Unexpected exception in parser.");
+    Assert(false);  //("Unexpected exception in parser.");
     break;
   }