From 625e90b308159da7407f0fef01cd863bfc662d36 Mon Sep 17 00:00:00 2001
From: Stanimir Bozhilov <stanimir.bozhilov.1998@gmail.com>
Date: Fri, 6 Oct 2023 23:56:11 +0300
Subject: [PATCH] Use `Option.map_default` instead of `match`

Co-authored-by: Michael Schwarz <michael.schwarz93@gmail.com>
---
 src/analyses/base.ml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/analyses/base.ml b/src/analyses/base.ml
index 6aaf25944e..cc5ddc9c9d 100644
--- a/src/analyses/base.ml
+++ b/src/analyses/base.ml
@@ -2133,10 +2133,7 @@ struct
     let desc = LF.find f in
     let memory_copying dst src n =
       let dest_size = get_size_of_ptr_target ctx dst in
-      let n_intdom = match n with
-        | Some exp -> ctx.ask (Queries.EvalInt exp)
-        | None -> `Bot
-      in
+      let n_intdom = Option.map_default (fun exp -> ctx.ask (Queries.EvalInt exp)) `Bot n in
       let dest_size_equal_n =
         match dest_size, n_intdom with
         | `Lifted ds, `Lifted n ->