From 71b789b9fda3aacdd3493b2f93913f7fb1550873 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Thu, 15 Jul 2010 04:48:13 +0000
Subject: Remove stray semicolons in class definitions.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@108402 91177308-0d34-0410-b5e6-96231b3b80d8
---
 include/klee/ExecutionState.h       | 2 +-
 include/klee/Expr.h                 | 2 +-
 include/klee/IncompleteSolver.h     | 4 ++--
 include/klee/Interpreter.h          | 6 +++---
 include/klee/Solver.h               | 2 +-
 include/klee/TimerStatIncrementer.h | 2 +-
 6 files changed, 9 insertions(+), 9 deletions(-)

(limited to 'include')

diff --git a/include/klee/ExecutionState.h b/include/klee/ExecutionState.h
index c119edd3..1715f7b4 100644
--- a/include/klee/ExecutionState.h
+++ b/include/klee/ExecutionState.h
@@ -110,7 +110,7 @@ public:
   void removeFnAlias(std::string fn);
   
 private:
-  ExecutionState() : fakeState(false), underConstrained(0), ptreeNode(0) {};
+  ExecutionState() : fakeState(false), underConstrained(0), ptreeNode(0) {}
 
 public:
   ExecutionState(KFunction *kf);
diff --git a/include/klee/Expr.h b/include/klee/Expr.h
index a3a28b83..3f544289 100644
--- a/include/klee/Expr.h
+++ b/include/klee/Expr.h
@@ -305,7 +305,7 @@ private:
   ConstantExpr(const llvm::APInt &v) : value(v) {}
 
 public:
-  ~ConstantExpr() {};
+  ~ConstantExpr() {}
   
   Width getWidth() const { return value.getBitWidth(); }
   Kind getKind() const { return Constant; }
diff --git a/include/klee/IncompleteSolver.h b/include/klee/IncompleteSolver.h
index f72607b5..9c05ad21 100644
--- a/include/klee/IncompleteSolver.h
+++ b/include/klee/IncompleteSolver.h
@@ -51,8 +51,8 @@ public:
   static PartialValidity negatePartialValidity(PartialValidity pv);
 
 public:
-  IncompleteSolver() {};
-  virtual ~IncompleteSolver() {};
+  IncompleteSolver() {}
+  virtual ~IncompleteSolver() {}
 
   /// computeValidity - Compute a partial validity for the given query.
   ///
diff --git a/include/klee/Interpreter.h b/include/klee/Interpreter.h
index 14e653c1..8640869a 100644
--- a/include/klee/Interpreter.h
+++ b/include/klee/Interpreter.h
@@ -29,7 +29,7 @@ class TreeStreamWriter;
 class InterpreterHandler {
 public:
   InterpreterHandler() {}
-  virtual ~InterpreterHandler() {};
+  virtual ~InterpreterHandler() {}
 
   virtual std::ostream &getInfoStream() const = 0;
 
@@ -76,10 +76,10 @@ protected:
 
   Interpreter(const InterpreterOptions &_interpreterOpts)
     : interpreterOpts(_interpreterOpts)
-  {};
+  {}
 
 public:
-  virtual ~Interpreter() {};
+  virtual ~Interpreter() {}
 
   static Interpreter *create(const InterpreterOptions &_interpreterOpts,
                              InterpreterHandler *ih);
diff --git a/include/klee/Solver.h b/include/klee/Solver.h
index 09cf4b47..b87b6dc3 100644
--- a/include/klee/Solver.h
+++ b/include/klee/Solver.h
@@ -64,7 +64,7 @@ namespace klee {
     SolverImpl *impl;
 
   public:
-    Solver(SolverImpl *_impl) : impl(_impl) {};
+    Solver(SolverImpl *_impl) : impl(_impl) {}
     virtual ~Solver();
 
     /// evaluate - Determine the full validity of an expression in particular
diff --git a/include/klee/TimerStatIncrementer.h b/include/klee/TimerStatIncrementer.h
index 35495d8b..a351f96b 100644
--- a/include/klee/TimerStatIncrementer.h
+++ b/include/klee/TimerStatIncrementer.h
@@ -23,7 +23,7 @@ namespace klee {
     TimerStatIncrementer(Statistic &_statistic) : statistic(_statistic) {}
     ~TimerStatIncrementer() {
       statistic += timer.check(); 
-    };
+    }
 
     uint64_t check() { return timer.check(); }
   };
-- 
cgit 1.4.1