Fixed generated symbols' names used for macOS

This commit is contained in:
Egor Sheremetov 2024-04-30 23:26:19 +02:00 committed by Roman Venediktov
parent ced766734c
commit e6f4e06973
3 changed files with 69 additions and 69 deletions

View file

@ -15,7 +15,7 @@ type scope = {
[@@deriving gt ~options:{ show }]
let label s = "_L" ^ s
let builtin_label s = "B" ^ s
let builtin_label s = "_B" ^ s
let scope_label i s = label s ^ "_" ^ string_of_int i
let show_scope = show scope