1 files changed, 5 insertions, 7 deletions
diff --git a/src/parser/parser_builder.cpp b/src/parser/parser_builder.cpp
index 73c31f578..f48d1e309 100644
--- a/src/parser/parser_builder.cpp
+++ b/src/parser/parser_builder.cpp
@@ -61,29 +61,27 @@ void ParserBuilder::init(ExprManager* exprManager,
 }
 
 Parser* ParserBuilder::build()
-  throw (InputStreamException, AssertionException) {
+  throw (InputStreamException) {
   Input* input = NULL;
   switch( d_inputType ) {
   case FILE_INPUT:
     input = Input::newFileInput(d_lang, d_filename, d_mmap);
     break;
   case LINE_BUFFERED_STREAM_INPUT:
-    AlwaysAssert( d_streamInput != NULL,
-                  "Uninitialized stream input in ParserBuilder::build()" );
+    assert( d_streamInput != NULL );
     input = Input::newStreamInput(d_lang, *d_streamInput, d_filename, true);
     break;
   case STREAM_INPUT:
-    AlwaysAssert( d_streamInput != NULL,
-                  "Uninitialized stream input in ParserBuilder::build()" );
+    assert( d_streamInput != NULL );
     input = Input::newStreamInput(d_lang, *d_streamInput, d_filename);
     break;
   case STRING_INPUT:
     input = Input::newStringInput(d_lang, d_stringInput, d_filename);
     break;
-  default:
-    Unreachable();
   }
 
+  assert(input != NULL);
+
   Parser* parser = NULL;
   switch(d_lang) {
   case language::input::LANG_SMTLIB_V1: