Remove unit statement from MemLeak

Author: sim642

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