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 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'compiler/Config.ml') 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 -- cgit v1.2.3