From 6b6bcac09fee5eb85d58f1a6b49381b2799020e2 Mon Sep 17 00:00:00 2001
From: Paul Govereau <govereau@amazon.com>
Date: Thu, 5 Mar 2026 10:58:10 -0500
Subject: [PATCH] fix: use relative names for shared constant files

---
 KLR/Compile.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/KLR/Compile.lean b/KLR/Compile.lean
index 0fef3f18..f9ca19e1 100644
--- a/KLR/Compile.lean
+++ b/KLR/Compile.lean
@@ -44,7 +44,7 @@ private def sharedConstant
   data.save! tmpName
   let fName := s!"{dst}/{hash}.npy"
   IO.FS.rename tmpName fName
-  return ⟨name, fName⟩
+  return ⟨name, s!"shared_constants/{hash}.npy"⟩
 
 structure DebugInfo where
   lnc : Nat