Index: src/ControlStruct/LabelFixer.cc
===================================================================
--- src/ControlStruct/LabelFixer.cc	(revision 1c0657a24705f031e11cf6079e70e920d69afcfa)
+++ 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 1c0657a24705f031e11cf6079e70e920d69afcfa)
+++ 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 1c0657a24705f031e11cf6079e70e920d69afcfa)
+++ 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 1c0657a24705f031e11cf6079e70e920d69afcfa)
+++ 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 );
Index: src/SynTree/Statement.cc
===================================================================
--- src/SynTree/Statement.cc	(revision 1c0657a24705f031e11cf6079e70e920d69afcfa)
+++ src/SynTree/Statement.cc	(revision f8965f4f89bb1fdec3be05df05ef73c194a09ea5)
@@ -105,5 +105,5 @@
 };
 
-BranchStmt::BranchStmt( Label target, Type type ) throw ( SemanticErrorException ) :
+BranchStmt::BranchStmt( Label target, Type type ) :
 	Statement(), originalTarget( target ), target( target ), computedTarget( nullptr ), type( type ) {
 	//actually this is a syntactic error signaled by the parser
@@ -113,5 +113,5 @@
 }
 
-BranchStmt::BranchStmt( Expression * computedTarget, Type type ) throw ( SemanticErrorException ) :
+BranchStmt::BranchStmt( Expression * computedTarget, Type type ) :
 	Statement(), computedTarget( computedTarget ), type( type ) {
 	if ( type != BranchStmt::Goto || computedTarget == nullptr ) {
@@ -211,5 +211,5 @@
 }
 
-CaseStmt::CaseStmt( Expression * condition, const list<Statement *> & statements, bool deflt ) throw ( SemanticErrorException ) :
+CaseStmt::CaseStmt( Expression * condition, const list<Statement *> & statements, bool deflt ) :
 		Statement(), condition( condition ), stmts( statements ), _isDefault( deflt ) {
 	if ( isDefault() && condition != nullptr ) SemanticError( condition, "default case with condition: " );
@@ -575,5 +575,5 @@
 }
 
-MutexStmt::MutexStmt( Statement * stmt, const list<Expression *> mutexObjs ) 
+MutexStmt::MutexStmt( Statement * stmt, const list<Expression *> mutexObjs )
 	: Statement(), stmt( stmt ), mutexObjs( mutexObjs ) { }
 
Index: src/SynTree/Statement.h
===================================================================
--- src/SynTree/Statement.h	(revision 1c0657a24705f031e11cf6079e70e920d69afcfa)
+++ src/SynTree/Statement.h	(revision f8965f4f89bb1fdec3be05df05ef73c194a09ea5)
@@ -200,5 +200,5 @@
 	std::list<Statement *> stmts;
 
-	CaseStmt( Expression * conditions, const std::list<Statement *> & stmts, bool isdef = false ) throw (SemanticErrorException);
+	CaseStmt( Expression * conditions, const std::list<Statement *> & stmts, bool isdef = false );
 	CaseStmt( const CaseStmt & other );
 	virtual ~CaseStmt();
@@ -289,6 +289,6 @@
 	Type type;
 
-	BranchStmt( Label target, Type ) throw (SemanticErrorException);
-	BranchStmt( Expression * computedTarget, Type ) throw (SemanticErrorException);
+	BranchStmt( Label target, Type );
+	BranchStmt( Expression * computedTarget, Type );
 
 	Label get_originalTarget() { return originalTarget; }