Actually fixing

rems-project · Jan 15, 2025 · 7be2cb9 · 7be2cb9
1 parent 21b73bd
commit 7be2cb9
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git 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
@@ -1,5 +1,7 @@
 import Out.Sail.Sail
 
+open Sail
+
 def xlen : Int := 64
 
 def xlen_bytes : Int := 8