--- trunk/src/antlr/InputBuffer.cpp	2014/02/20 16:27:30	1968
+++ trunk/src/antlr/InputBuffer.cpp	2014/02/26 14:14:50	1969
@@ -7,7 +7,12 @@
 
 #include "antlr/config.hpp"
 #include "antlr/InputBuffer.hpp"
+#include  <iostream>
+#ifdef IS_MPI
+#include "mpi.h"
+#endif
 
+
 #ifdef ANTLR_CXX_SUPPORTS_NAMESPACE
 namespace antlr {
 #endif
@@ -16,11 +21,12 @@ void InputBuffer::fill(unsigned int amount)
 void InputBuffer::fill(unsigned int amount)
 {
 	syncConsume();
+
 	// Fill the buffer sufficiently to hold needed characters
 	while (queue.entries() < amount + markerOffset)
-	{
-		// Append the next character
-		queue.append(getChar());
+        {         
+            // Append the next character
+            queue.append(getChar());            
 	}
 }