Index: src/Parser/ParseNode.cc
===================================================================
--- src/Parser/ParseNode.cc	(revision 5e644d3ef72d65dc187491097854dec3ad90c16e)
+++ src/Parser/ParseNode.cc	(revision c8dfcd3a4ea472775bb425585268096226f404ce)
@@ -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 c8dfcd3a4ea472775bb425585268096226f404ce)
@@ -409,4 +409,6 @@
 }
 
+// in ParseNode.cc
+std::ostream & operator<<( std::ostream & out, const ParseNode * node );
 
 #endif // PARSENODE_H