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: *; };