Index: src/SynTree/Statement.cc
===================================================================
--- src/SynTree/Statement.cc	(revision ed9a1ae9fd2dfee0f1af522273e707b0ae29b439)
+++ src/SynTree/Statement.cc	(revision 72d1118e381aa61e11a9b801611aa8cd2fc8eb45)
@@ -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 ed9a1ae9fd2dfee0f1af522273e707b0ae29b439)
+++ src/SynTree/Statement.h	(revision 72d1118e381aa61e11a9b801611aa8cd2fc8eb45)
@@ -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; }