Index: src/SynTree/Mutator.h
===================================================================
--- src/SynTree/Mutator.h	(revision a61fea9ae36d50374d924b984ee54318ba2d7f61)
+++ src/SynTree/Mutator.h	(revision c7ed6d065b31746c000bc2be3d927def30503e6b)
@@ -9,7 +9,7 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Mon May 18 10:12:28 2015
-// Update Count     : 3
+// Last Modified By : Rob Schluntz
+// Last Modified On : Fri May 29 16:34:08 2015
+// Update Count     : 4
 //
 #include <cassert>
@@ -104,5 +104,4 @@
 		assert( newnode );
 		return newnode;
-///	    return tree->acceptMutator( mutator );
 	} else {
 		return 0;
Index: src/SynTree/ObjectDecl.cc
===================================================================
--- src/SynTree/ObjectDecl.cc	(revision a61fea9ae36d50374d924b984ee54318ba2d7f61)
+++ src/SynTree/ObjectDecl.cc	(revision c7ed6d065b31746c000bc2be3d927def30503e6b)
@@ -9,7 +9,7 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Mon May 18 10:14:18 2015
-// Update Count     : 2
+// Last Modified By : Rob Schluntz
+// Last Modified On : Thu May 28 14:10:02 2015
+// Update Count     : 8
 //
 
@@ -65,4 +65,9 @@
 
 void ObjectDecl::printShort( std::ostream &os, int indent ) const {
+#if 0
+	if ( get_mangleName() != "") {
+		os << get_mangleName() << ": a "; 
+	} else 
+#endif
 	if ( get_name() != "" ) {
 		os << get_name() << ": a ";
Index: src/SynTree/Statement.cc
===================================================================
--- src/SynTree/Statement.cc	(revision a61fea9ae36d50374d924b984ee54318ba2d7f61)
+++ src/SynTree/Statement.cc	(revision c7ed6d065b31746c000bc2be3d927def30503e6b)
@@ -10,6 +10,6 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Wed May 27 15:41:13 2015
-// Update Count     : 8
+// Last Modified On : Tue Jun 02 13:07:09 2015
+// Update Count     : 14
 //
 
@@ -124,4 +124,8 @@
 CaseStmt::~CaseStmt() {
 	delete condition;
+}
+
+CaseStmt * CaseStmt::makeDefault( std::list<Label> labels, std::list<Statement *> branches ) {
+	return new CaseStmt( labels, 0, branches, true );
 }
 
Index: src/SynTree/Statement.h
===================================================================
--- src/SynTree/Statement.h	(revision a61fea9ae36d50374d924b984ee54318ba2d7f61)
+++ src/SynTree/Statement.h	(revision c7ed6d065b31746c000bc2be3d927def30503e6b)
@@ -10,6 +10,6 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Jun  3 11:55:15 2015
-// Update Count     : 6
+// Last Modified On : Thu Jun  4 14:03:31 2015
+// Update Count     : 14
 //
 
@@ -149,4 +149,7 @@
 	      std::list<Statement *> &stmts, bool isdef = false ) throw(SemanticError);
 	virtual ~CaseStmt();
+
+	static CaseStmt * makeDefault( std::list<Label> labels = std::list<Label>(),
+		std::list<Statement *> stmts = std::list<Statement *>() );
 
 	bool isDefault() { return _isDefault; }