From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 8 Nov 2012 21:08:58 +0000 (+0000)
Subject: exception fix
X-Git-Tag: cvc5-1.0.0~7641
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2d422bab11e46f056bfafa85b0d49282fec289d8;p=cvc5.git

exception fix
---

diff --git a/src/parser/antlr_input.cpp b/src/parser/antlr_input.cpp
index db7964b37..8987a7572 100644
--- a/src/parser/antlr_input.cpp
+++ b/src/parser/antlr_input.cpp
@@ -206,7 +206,7 @@ AntlrInput* AntlrInput::newInput(InputLanguage lang, AntlrInputStream& inputStre
   default:
     std::stringstream ss;
     ss << "internal error: unhandled language " << lang << " in AntlrInput::newInput";
-    throw ParserException(ss.str());
+    throw InputStreamException(ss.str());
   }
 
   return input;
@@ -302,13 +302,13 @@ void AntlrInput::setAntlr3Lexer(pANTLR3_LEXER pLexer) {
   /* 2*lookahead should be sufficient, but we give ourselves some breathing room. */
   pTokenFactory = BoundedTokenFactoryNew(d_antlr3InputStream, 2*d_lookahead);
   if( pTokenFactory == NULL ) {
-    throw ParserException("Couldn't create token factory.");
+    throw InputStreamException("Couldn't create token factory.");
   }
   d_lexer->rec->state->tokFactory = pTokenFactory;
 
   pBOUNDED_TOKEN_BUFFER buffer = BoundedTokenBufferSourceNew(d_lookahead, d_lexer->rec->state->tokSource);
   if( buffer == NULL ) {
-    throw ParserException("Couldn't create token buffer.");
+    throw InputStreamException("Couldn't create token buffer.");
   }
 
   d_tokenBuffer = buffer;