From d4787aa0d8e41a886004ab195a49bfcfce30cede Mon Sep 17 00:00:00 2001 From: Lukas Wölfer Date: Wed, 30 May 2018 16:00:21 +0200 Subject: Fixed memory leak from Executor::inCloseMerge, fixes #883 --- include/klee/MergeHandler.h | 3 --- 1 file changed, 3 deletions(-) (limited to 'include') 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(); -- cgit 1.4.1