3 files changed, 3 insertions, 3 deletions
diff --git a/stp/simplifier/bvsolver.cpp b/stp/simplifier/bvsolver.cpp
index 1c08f30b..369251db 100644
--- a/stp/simplifier/bvsolver.cpp
+++ b/stp/simplifier/bvsolver.cpp
@@ -711,4 +711,4 @@ namespace BEEV {
     UpdateAlreadySolvedMap(input,output);
     return output;
   } //end of BVSolve_Even()
-};//end of namespace BEEV
+} //end of namespace BEEV
diff --git a/stp/simplifier/bvsolver.h b/stp/simplifier/bvsolver.h
index a8981b12..8df32042 100644
--- a/stp/simplifier/bvsolver.h
+++ b/stp/simplifier/bvsolver.h
@@ -131,4 +131,4 @@ namespace BEEV {
     //equation to be solved, solves them,
     ASTNode TopLevelBVSolve(const ASTNode& a);
   }; //end of class bvsolver
-};//end of namespace BEEV
+} //end of namespace BEEV
diff --git a/stp/simplifier/simplifier.cpp b/stp/simplifier/simplifier.cpp
index 2a627398..c0519e83 100644
--- a/stp/simplifier/simplifier.cpp
+++ b/stp/simplifier/simplifier.cpp
@@ -2492,4 +2492,4 @@ namespace BEEV {
     TermsAlreadySeenMap[term] = var;
     return false;
   }
-};//end of namespace
+} //end of namespace