Index: src/Parser/ParseNode.cc
===================================================================
--- src/Parser/ParseNode.cc	(revision 5e644d3ef72d65dc187491097854dec3ad90c16e)
+++ src/Parser/ParseNode.cc	(revision fba44f88c0909ebe9f84c63385f6fa1d508208a7)
@@ -5,5 +5,5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// ParseNode.cc -- 
+// ParseNode.cc --
 //
 // Author           : Rodolfo G. Esteves
@@ -12,5 +12,5 @@
 // Last Modified On : Wed Aug 17 23:14:16 2016
 // Update Count     : 126
-// 
+//
 
 #include "ParseNode.h"
@@ -19,4 +19,9 @@
 int ParseNode::indent_by = 4;
 
+std::ostream & operator<<( std::ostream & out, const ParseNode * node ) {
+  node->print( out );
+  return out;
+}
+
 // Local Variables: //
 // tab-width: 4 //
Index: src/Parser/ParseNode.h
===================================================================
--- src/Parser/ParseNode.h	(revision 5e644d3ef72d65dc187491097854dec3ad90c16e)
+++ src/Parser/ParseNode.h	(revision fba44f88c0909ebe9f84c63385f6fa1d508208a7)
@@ -409,4 +409,6 @@
 }
 
+// in ParseNode.cc
+std::ostream & operator<<( std::ostream & out, const ParseNode * node );
 
 #endif // PARSENODE_H