Isolating the dependencies on CVC4_ANTLR3_OLD_INPUT_STREAM. Also freeing more memory for antlr input.

1 files changed, 3 insertions, 3 deletions

diff --git a/src/parser/input.cpp b/src/parser/input.cpp
index 53bf05064..09f71800b 100644
--- a/src/parser/input.cpp
+++ b/src/parser/input.cpp
@@ -60,12 +60,12 @@ Input* Input::newFileInput(InputLanguage lang,
   return AntlrInput::newInput(lang, *inputStream);
 }
 
-Input* Input::newStreamInput(InputLanguage lang, 
-                             std::istream& input, 
+Input* Input::newStreamInput(InputLanguage lang,
+                             std::istream& input,
                              const std::string& name,
                              bool lineBuffered)
   throw (InputStreamException) {
-  AntlrInputStream *inputStream = 
+  AntlrInputStream *inputStream =
     AntlrInputStream::newStreamInputStream(input, name, lineBuffered);
   return AntlrInput::newInput(lang, *inputStream);
 }