From e9bbac75812ef556585f14b72239133619cf1748 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 3 Apr 2024 17:49:00 +0200
Subject: Update the initial configuration

---
 compiler/Config.ml | 2 +-
 compiler/Main.ml   | 3 ---
 2 files changed, 1 insertion(+), 4 deletions(-)

diff --git a/compiler/Config.ml b/compiler/Config.ml
index 099cdc8b..0b26e2ef 100644
--- a/compiler/Config.ml
+++ b/compiler/Config.ml
@@ -368,4 +368,4 @@ let backend_has_tuple_projectors () =
 let use_nested_tuple_projectors = ref false
 
 (** Generate name patterns for the external definitions we encounter *)
-let extract_external_name_patterns = ref false
+let extract_external_name_patterns = ref true
diff --git a/compiler/Main.ml b/compiler/Main.ml
index 64d8ae2b..db200f37 100644
--- a/compiler/Main.ml
+++ b/compiler/Main.ml
@@ -120,9 +120,6 @@ let () =
         Arg.Set use_nested_tuple_projectors,
         " Use nested projectors for tuples (e.g., (0, 1).snd.fst instead of \
          (0, 1).1)." );
-      ( "-ext-name-pats",
-        Arg.Set extract_external_name_patterns,
-        " Generate name patterns for the external definitions we find." );
     ]
   in
 
-- 
cgit v1.2.3