From 38780aa5a420c301b94345cfc372d8463ce46711 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 31 Mar 2024 10:10:35 +0200
Subject: [PATCH] there is no need for these wildcards

---
 src/tools/miri/tests/extern-so/libtest.map | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/src/tools/miri/tests/extern-so/libtest.map b/src/tools/miri/tests/extern-so/libtest.map
index a9887a79a798..a57a4dc149fe 100644
--- a/src/tools/miri/tests/extern-so/libtest.map
+++ b/src/tools/miri/tests/extern-so/libtest.map
@@ -1,11 +1,12 @@
 CODEABI_1.0 {
     # Define which symbols to export.
-    global: *add_one_int*; 
-        *printer*; 
-        *test_stack_spill*; 
-        *get_unsigned_int*; 
-        *add_int16*;
-        *add_short_to_long*;
+    global:
+        add_one_int;
+        printer;
+        test_stack_spill;
+        get_unsigned_int;
+        add_int16;
+        add_short_to_long;
     # The rest remains private.
     local: *;
 };