From eaa01d355abd0e69bfec9d5b61f1330f42ff1fe8 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Mon, 5 Apr 2010 04:01:35 +0000
Subject: STP: Remove stray semi-colons.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100391 91177308-0d34-0410-b5e6-96231b3b80d8
---
 stp/constantbv/constantbv.cpp | 2 +-
 stp/constantbv/constantbv.h   | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'stp/constantbv')

diff --git a/stp/constantbv/constantbv.cpp b/stp/constantbv/constantbv.cpp
index 65698981..e01fa0ac 100644
--- a/stp/constantbv/constantbv.cpp
+++ b/stp/constantbv/constantbv.cpp
@@ -3568,4 +3568,4 @@ void Matrix_Transpose(unsigned int *  X, unsigned int rowsX, unsigned int colsX,
     }
   }
 }
-}; //end of namespace CONSTANTBV
+} //end of namespace CONSTANTBV
diff --git a/stp/constantbv/constantbv.h b/stp/constantbv/constantbv.h
index 47e0c56f..bd64132d 100644
--- a/stp/constantbv/constantbv.h
+++ b/stp/constantbv/constantbv.h
@@ -309,8 +309,8 @@ namespace CONSTANTBV {
       0x05, 0x06, 0x06, 0x07,  0x06, 0x07, 0x07, 0x08  /* 0xF0 */
     };
 #ifdef __cplusplus
-  };
+  }
 #endif
-}; //end of namespace CONSTANTBV
+} //end of namespace CONSTANTBV
 #endif
 
-- 
cgit 1.4.1