1 files changed, 1 insertions, 1 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);