Changes in src/Common/SemanticError.cc [4358c1e:af39199d]

File:

• src/Common/SemanticError.cc (modified) (3 diffs)

src/Common/SemanticError.cc

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed May 16 15:01:20 2018
-// Update Count     : 9
+// Last Modified On : Wed May  2 18:13:37 2018
+// Update Count     : 8
 //
 
@@ -70 +70 @@
 //-----------------------------------------------------------------------------
 // Semantic Error
-bool SemanticErrorThrow = false;
-
 SemanticErrorException::SemanticErrorException( CodeLocation location, std::string error ) {
         append( location, error );
@@ -96 +94 @@
 
 void SemanticError( CodeLocation location, std::string error ) {
-        SemanticErrorThrow = true;
         throw SemanticErrorException(location, error);
 }