From b0de2a67d734a9484e85c837479d71ebde7507ca Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9on=20Frenot?= <leon.frenot@ens-lyon.fr> Date: Tue, 17 Dec 2024 14:31:00 +0000 Subject: [PATCH] Typo fixes --- test/lean/bitfield.expected.lean | 2 +- test/lean/typquant.expected.lean | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/test/lean/bitfield.expected.lean b/test/lean/bitfield.expected.lean index f4cdc676c..28df930d8 100644 --- a/test/lean/bitfield.expected.lean +++ b/test/lean/bitfield.expected.lean @@ -1,6 +1,6 @@ import Sail.Sail -structure cr_type where +structure cr_type where bits : BitVec 8 diff --git a/test/lean/typquant.expected.lean b/test/lean/typquant.expected.lean index 4449ad932..eecc55198 100644 --- a/test/lean/typquant.expected.lean +++ b/test/lean/typquant.expected.lean @@ -1,4 +1,4 @@ -import Sail.sail +import Sail.Sail def foo (n : Int) : BitVec 4 := (0xF : BitVec 4)