Index: src/ControlStruct/LabelFixer.cc
===================================================================
--- src/ControlStruct/LabelFixer.cc	(revision e8616b6271f88a2d29036c310ad330f23fbd5136)
+++ src/ControlStruct/LabelFixer.cc	(revision f8965f4f89bb1fdec3be05df05ef73c194a09ea5)
@@ -119,5 +119,5 @@
 
 // Builds a table that maps a label to its defining statement.
-std::map<Label, Statement * > * LabelFixer::resolveJumps() throw ( SemanticErrorException ) {
+std::map<Label, Statement * > * LabelFixer::resolveJumps() {
 	std::map< Label, Statement * > *ret = new std::map< Label, Statement * >();
 	for ( std::map< Label, Entry * >::iterator i = labelTable.begin(); i != labelTable.end(); ++i ) {
Index: src/ControlStruct/LabelFixer.h
===================================================================
--- src/ControlStruct/LabelFixer.h	(revision e8616b6271f88a2d29036c310ad330f23fbd5136)
+++ src/ControlStruct/LabelFixer.h	(revision f8965f4f89bb1fdec3be05df05ef73c194a09ea5)
@@ -33,5 +33,5 @@
 	LabelFixer( LabelGenerator *gen = 0 );
 
-	std::map < Label, Statement * > *resolveJumps() throw ( SemanticErrorException );
+	std::map < Label, Statement * > *resolveJumps();
 
 	// Declarations
Index: src/ControlStruct/MLEMutator.cc
===================================================================
--- src/ControlStruct/MLEMutator.cc	(revision e8616b6271f88a2d29036c310ad330f23fbd5136)
+++ src/ControlStruct/MLEMutator.cc	(revision f8965f4f89bb1fdec3be05df05ef73c194a09ea5)
@@ -141,6 +141,5 @@
 
 
-	Statement *MultiLevelExitMutator::postmutate( BranchStmt *branchStmt )
-			throw ( SemanticErrorException ) {
+	Statement *MultiLevelExitMutator::postmutate( BranchStmt *branchStmt ) {
 		std::string originalTarget = branchStmt->originalTarget;
 
Index: src/ControlStruct/MLEMutator.h
===================================================================
--- src/ControlStruct/MLEMutator.h	(revision e8616b6271f88a2d29036c310ad330f23fbd5136)
+++ src/ControlStruct/MLEMutator.h	(revision f8965f4f89bb1fdec3be05df05ef73c194a09ea5)
@@ -41,5 +41,5 @@
 
 		void premutate( CompoundStmt *cmpndStmt );
-		Statement * postmutate( BranchStmt *branchStmt ) throw ( SemanticErrorException );
+		Statement * postmutate( BranchStmt *branchStmt );
 		void premutate( WhileDoStmt *whileDoStmt );
 		Statement * postmutate( WhileDoStmt *whileDoStmt );