From 7be2cb92643e2c137adfa624251968101acfa93e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9on=20Frenot?= <leon.frenot@ens-lyon.fr>
Date: Wed, 15 Jan 2025 13:24:01 +0000
Subject: [PATCH] Actually fixing

---
 test/lean/reg.expected.lean     | 2 +-
 test/lean/typedef.expected.lean | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/test/lean/reg.expected.lean b/test/lean/reg.expected.lean
index feabf3399..41078f42a 100644
--- a/test/lean/reg.expected.lean
+++ b/test/lean/reg.expected.lean
@@ -1,4 +1,4 @@
-import Reg.Sail.Sail
+import Out.Sail.Sail
 
 open Sail
 
diff --git a/test/lean/typedef.expected.lean b/test/lean/typedef.expected.lean
index 865e4638f..2c72348ab 100644
--- a/test/lean/typedef.expected.lean
+++ b/test/lean/typedef.expected.lean
@@ -1,5 +1,7 @@
 import Out.Sail.Sail
 
+open Sail
+
 def xlen : Int := 64
 
 def xlen_bytes : Int := 8