1 files changed, 2 insertions, 2 deletions
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