From 7fa7bfd222d464da93db98d10a5377baeb261ce0 Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Wed, 29 Nov 2023 10:27:34 +0200
Subject: [PATCH] Remove unit statement from MemLeak

---
 src/analyses/memLeak.ml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/analyses/memLeak.ml b/src/analyses/memLeak.ml
index 8fc2cc663a..456d434be7 100644
--- a/src/analyses/memLeak.ml
+++ b/src/analyses/memLeak.ml
@@ -228,8 +228,7 @@ struct
       warn_for_multi_threaded_due_to_abort ctx;
       state
     | Assert { exp; _ } ->
-      let warn_for_assert_exp =
-        match ctx.ask (Queries.EvalInt exp) with
+      begin match ctx.ask (Queries.EvalInt exp) with
         | a when Queries.ID.is_bot a -> M.warn ~category:Assert "assert expression %a is bottom" d_exp exp
         | a ->
           begin match Queries.ID.to_bool a with
@@ -242,8 +241,7 @@ struct
               warn_for_multi_threaded_due_to_abort ctx;
               check_for_mem_leak ctx ~assert_exp_imprecise:true ~exp:(Some exp)
           end
-      in
-      warn_for_assert_exp;
+      end;
       state
     | ThreadExit _ ->
       begin match ctx.ask (Queries.CurrentThreadId) with