7 files changed, 11 insertions, 11 deletions
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(); }
   };
diff --git a/lib/Core/Searcher.h b/lib/Core/Searcher.h
index 455a7679..9703e973 100644
--- a/lib/Core/Searcher.h
+++ b/lib/Core/Searcher.h
@@ -50,8 +50,8 @@ namespace klee {
     // pgbovine - to be called when a searcher gets activated and
     // deactivated, say, by a higher-level searcher; most searchers
     // don't need this functionality, so don't have to override.
-    virtual void activate() {};
-    virtual void deactivate() {};
+    virtual void activate() {}
+    virtual void deactivate() {}
 
     // utility functions