From 5330a6f728add1525854ad4cedd86b8e1d3a1fa7 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 29 May 2024 01:00:38 +0200
Subject: Factor out code in ExtractBuiltin.ml

---
 compiler/FunsAnalysis.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'compiler/FunsAnalysis.ml')

diff --git a/compiler/FunsAnalysis.ml b/compiler/FunsAnalysis.ml
index a11eab87..eadd8f8a 100644
--- a/compiler/FunsAnalysis.ml
+++ b/compiler/FunsAnalysis.ml
@@ -74,7 +74,8 @@ let analyze_module (m : crate) (funs_map : fun_decl FunDeclId.Map.t)
        way. *)
     let get_builtin_info (f : fun_decl) : ExtractBuiltin.effect_info option =
       let open ExtractBuiltin in
-      NameMatcherMap.find_opt name_matcher_ctx f.name builtin_fun_effects_map
+      NameMatcherMap.find_opt name_matcher_ctx f.name
+        (builtin_fun_effects_map ())
     in
 
     (* JP: Why not use a reduce visitor here with a tuple of the values to be
-- 
cgit v1.2.3