about summary refs log tree commit diff homepage
path: root/stp/bitvec/consteval.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'stp/bitvec/consteval.cpp')
-rw-r--r--stp/bitvec/consteval.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/stp/bitvec/consteval.cpp b/stp/bitvec/consteval.cpp
index 7cb8dfcb..8fa652cf 100644
--- a/stp/bitvec/consteval.cpp
+++ b/stp/bitvec/consteval.cpp
@@ -1041,4 +1041,4 @@ namespace BEEV {
     return iii;
   }
 */
-}; //end of namespace BEEV
+} //end of namespace BEEV