Index: src/AST/Print.cpp
===================================================================
--- src/AST/Print.cpp	(revision 8315947b914ae5bb9508eeafa64f85f406f80c05)
+++ src/AST/Print.cpp	(revision c141c0939f21cc2ba1e99d95a858ae7399eb83d5)
@@ -566,6 +566,4 @@
 		++indent;
 		safe_print( node->cond );
-		os << indent-1 << "... with body:" << endl;
-		safe_print( node->body );
 
 		if ( ! node->inits.empty() ) {
@@ -573,4 +571,14 @@
 			printAll( node->inits );
 		}
+
+		os << indent-1 << "... with body:" << endl;
+		safe_print( node->body );
+
+		if ( node->else_ ) {
+			os << indent-1 << "... with else:" << endl;
+			os << indent;
+			node->else_->accept( *this );
+		}
+
 		--indent;
 
@@ -614,4 +622,13 @@
 			--indent;
 		}
+
+		if ( node->else_ ) {
+			os << indent << "... with else:" << endl;
+			++indent;
+			os << indent;
+			node->else_->accept( *this );
+			--indent;
+		}
+
 		os << endl;
 		print( node->labels );