Index: src/ControlStruct/CaseRangeMutator.cc
===================================================================
--- src/ControlStruct/CaseRangeMutator.cc	(revision 057b34fe095f6e63d8216e5f67ffdc23bb93f88f)
+++ src/ControlStruct/CaseRangeMutator.cc	(revision 182fe1ec6f8ba5254e754ba3ba2dde6089336ee0)
@@ -9,7 +9,7 @@
 // Author           : Rodolfo G. Esteves
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Sun Jul 31 00:14:16 2016
-// Update Count     : 29
+// Last Modified By : 
+// Last Modified On : Sun Jul 31 12:16:28 2016
+// Update Count     : 32
 //
 
@@ -37,4 +37,5 @@
 
 			if ( ! newCaseLabels.empty() ) {
+				std::cout << "FRED" << std::endl;
 				std::list< Statement * > newCases;
 
@@ -64,11 +65,13 @@
 
 		return switchStmt;
-	}
+	} // CaseRangeMutator::mutate
 
 	Statement *CaseRangeMutator::mutate( CaseStmt *caseStmt ) {
-		if ( TupleExpr *tcond = dynamic_cast< TupleExpr * >( caseStmt->get_condition() ) ) { // case list
+		// case list, e.g., case 1, 3, 5:
+		if ( TupleExpr *tcond = dynamic_cast< TupleExpr * >( caseStmt->get_condition() ) ) {
 			assert( ! tcond->get_exprs().empty() );
-			for ( std::list< Expression * >::iterator i = tcond->get_exprs().begin(); i != tcond->get_exprs().end(); i++ )
+			for ( std::list< Expression * >::iterator i = tcond->get_exprs().begin(); i != tcond->get_exprs().end(); i++ ) {
 				newCaseLabels.push_back( *i );			// do I need to clone them?
+			} // for
 		} // if
 
@@ -77,5 +80,5 @@
 
 		return caseStmt;
-	}
+	} // CaseRangeMutator::mutate
 } // namespace ControlStruct