diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/MergeHandler.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/include/klee/MergeHandler.h b/include/klee/MergeHandler.h index 75f4a3d1..213264e6 100644 --- a/include/klee/MergeHandler.h +++ b/include/klee/MergeHandler.h @@ -133,9 +133,6 @@ public: /// @brief Remove state from the 'openStates' vector void removeOpenState(ExecutionState *es); - /// @brief Remove state from the 'inCloseMerge' set in the executor - void removeFromCloseMergeSet(ExecutionState *es); - /// @brief True, if any states have run into 'klee_close_merge()' and have /// not been released yet bool hasMergedStates(); |