7 files changed, 10 insertions, 10 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
 
diff --git a/stp/AST/AST.h b/stp/AST/AST.h
index 202f6598..4277029e 100644
--- a/stp/AST/AST.h
+++ b/stp/AST/AST.h
@@ -1011,7 +1011,7 @@ namespace BEEV {
     if (_int_node_ptr) {
       _int_node_ptr->DecRef();
     }
-  };
+  }
 #else
   // No refcounting
   inline void ASTInternal::DecRef()
@@ -1802,5 +1802,5 @@ namespace BEEV {
     }
   };
 
-}; // end namespace BEEV
+} // end namespace BEEV
 #endif
diff --git a/stp/AST/ASTKind.h b/stp/AST/ASTKind.h
index d069fdcf..2480b6e6 100644
--- a/stp/AST/ASTKind.h
+++ b/stp/AST/ASTKind.h
@@ -58,7 +58,7 @@ namespace BEEV {
     WRITE,
     ARRAY,
     BITVECTOR,
-    BOOLEAN,
+    BOOLEAN
 } Kind;
 
 extern unsigned char _kind_categories[];
@@ -73,7 +73,7 @@ extern const char *_kind_names[];
 inline ostream& operator<<(ostream &os, const Kind &kind) { os << _kind_names[kind]; return os; }
 
 
-};  // end namespace
+}  // end namespace
 
 
 #endif
diff --git a/stp/AST/ASTUtil.cpp b/stp/AST/ASTUtil.cpp
index bc36812c..ecb54a4a 100644
--- a/stp/AST/ASTUtil.cpp
+++ b/stp/AST/ASTUtil.cpp
@@ -42,4 +42,4 @@ namespace BEEV {
     }
     s[functionname] += 1;
   }
-};// end of namespace
+} // end of namespace
diff --git a/stp/AST/ASTUtil.h b/stp/AST/ASTUtil.h
index 0ed6bfa2..c90ee0ce 100644
--- a/stp/AST/ASTUtil.h
+++ b/stp/AST/ASTUtil.h
@@ -103,5 +103,5 @@ namespace BEEV {
   //corresponding ASTNode and prints a char* of that ASTNode
   void Convert_MINISATVar_To_ASTNode_Print(int minisat_var, 
 					   int decision, int polarity=0);
-}; // end namespace.
+} // end namespace.
 #endif
diff --git a/stp/AST/ToSAT.cpp b/stp/AST/ToSAT.cpp
index 7a164c9c..29635ec5 100644
--- a/stp/AST/ToSAT.cpp
+++ b/stp/AST/ToSAT.cpp
@@ -1382,4 +1382,4 @@ namespace BEEV {
       }
     }
   }
-}; //end of namespace BEEV
+} //end of namespace BEEV
diff --git a/stp/AST/genkinds.pl b/stp/AST/genkinds.pl
index 7944832b..672481ad 100755
--- a/stp/AST/genkinds.pl
+++ b/stp/AST/genkinds.pl
@@ -83,7 +83,7 @@ sub gen_h_file {
 	"/** Prints symbolic name of kind */\n",
 	"inline ostream& operator<<(ostream &os, const Kind &kind) { os << _kind_names[kind]; return os; }\n",
 	"\n\n",
-	"};  // end namespace\n",
+	"}  // end namespace\n",
 	"\n\n#endif\n";
 
     close(HFILE);
@@ -112,7 +112,7 @@ sub gen_cpp_file {
     }
     print CPPFILE 
 	"};\n",
-	"\n};  // end namespace\n";
+	"\n}  // end namespace\n";
 
     close(CPPFILE);
 }