1 files changed, 0 insertions, 7 deletions
diff --git a/include/klee/Internal/Module/KInstIterator.h b/include/klee/Internal/Module/KInstIterator.h
index 88efed38..736c4b4d 100644
--- a/include/klee/Internal/Module/KInstIterator.h
+++ b/include/klee/Internal/Module/KInstIterator.h
@@ -19,13 +19,6 @@ namespace klee {
   public:
     KInstIterator() : it(0) {}
     KInstIterator(KInstruction **_it) : it(_it) {}
-    KInstIterator(const KInstIterator &b) : it(b.it) {}
-    ~KInstIterator() {}
-
-    KInstIterator &operator=(const KInstIterator &b) {
-      it = b.it;
-      return *this;
-    }
 
     bool operator==(const KInstIterator &b) const {
       return it==b.it;