From 1c3a823670bf408ca59745f937f05fd91ea14f78 Mon Sep 17 00:00:00 2001
From: David Mak <csdavidmak@ust.hk>
Date: Wed, 22 Nov 2023 13:35:56 +0800
Subject: [PATCH] core: Do not discard value names for IRRT

---
 nac3core/build.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/nac3core/build.rs b/nac3core/build.rs
index 281e28325..6edcf0b5a 100644
--- a/nac3core/build.rs
+++ b/nac3core/build.rs
@@ -17,6 +17,7 @@ fn main() {
     const FLAG: &[&str] = &[
         "--target=wasm32",
         FILE,
+        "-fno-discard-value-names",
         "-O3",
         "-emit-llvm",
         "-S",