Changes in src/ResolvExpr/AlternativePrinter.cc [906e24d:d3b7937]

File:

• src/ResolvExpr/AlternativePrinter.cc (modified) (2 diffs)

src/ResolvExpr/AlternativePrinter.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// AlternativePrinter.cc --
+// AlternativePrinter.cc -- 
 //
 // Author           : Richard C. Bilson
@@ -33 +33 @@
                 for ( AltList::const_iterator i = finder.get_alternatives().begin(); i != finder.get_alternatives().end(); ++i ) {
                         os << "Alternative " << count++ << " ==============" << std::endl;
-                        i->expr->get_result()->print( os );
+                        printAll( i->expr->get_results(), os );
                         //    i->print( os );
                         os << std::endl;