1 files changed, 1 insertions, 1 deletions
diff --git a/stp/AST/AST.cpp b/stp/AST/AST.cpp
index 87541877..e75620ec 100644
--- a/stp/AST/AST.cpp
+++ b/stp/AST/AST.cpp
@@ -1575,5 +1575,5 @@ namespace BEEV {
   BeevMgr::~BeevMgr() {
     ClearAllTables();
   }
-}; // end namespace
+} // end namespace