From d971beb276cbf8a14bea6bf2036ac842a8dd55bd Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sun, 14 Jun 2009 07:10:59 +0000 Subject: Remove some unused functionality. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73329 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/klee/ExecutionState.h | 5 ----- 1 file changed, 5 deletions(-) (limited to 'include') diff --git a/include/klee/ExecutionState.h b/include/klee/ExecutionState.h index 1d2df49a..54915843 100644 --- a/include/klee/ExecutionState.h +++ b/include/klee/ExecutionState.h @@ -163,11 +163,6 @@ public: constraints.addConstraint(e); } - // Used for checkpoint/rollback of fake objects created during tainting. - ObjectState *cloneObject(ObjectState *os, MemoryObject *mo); - - // - bool merge(const ExecutionState &b); }; -- cgit 1.4.1