From: Mehdi Dogguy Date: Tue, 5 Oct 2010 18:48:13 +0200 Subject: [PATCH] Fix some minor memory leaks --- src/value/kf_state.ml | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/value/kf_state.ml b/src/value/kf_state.ml index 9cbf245..238ef2c 100644 --- a/src/value/kf_state.ml +++ b/src/value/kf_state.ml @@ -45,7 +45,7 @@ let is_called = try Value.is_accessible (Kstmt (Kernel_function.find_first_stmt kf)) with Kernel_function.No_Statement -> false) -let mark_as_called kf = Is_Called.add kf true +let mark_as_called kf = Is_Called.replace kf true (* ************************************************************************* *) (** {2 Callers} *) @@ -105,7 +105,7 @@ let never_terminates kf = assert (not (is_called kf)); false -let mark_as_terminates kf = Never_Terminates.add kf false +let mark_as_terminates kf = Never_Terminates.replace kf false let mark_as_never_terminates kf = let noreturn = --