From 60e7ad8df8100aadacf5f310091b8c9ffe2828b9 Mon Sep 17 00:00:00 2001 From: Shaz Qadeer Date: Sun, 1 Dec 2024 19:02:00 -0800 Subject: [PATCH] third commit --- Test/bitvectors/bv2.bpl.expect | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Test/bitvectors/bv2.bpl.expect b/Test/bitvectors/bv2.bpl.expect index 14533ad13..f19db4cc7 100644 --- a/Test/bitvectors/bv2.bpl.expect +++ b/Test/bitvectors/bv2.bpl.expect @@ -1,4 +1,4 @@ bv2.bpl(6,13): Error: bitvector bounds in illegal position -bv2.bpl(8,13): Error: undeclared type: x +bv2.bpl(8,13): Error: undeclared type: x (replacing with "bool" to continue resolving) bv2.bpl(9,14): Error: bitvector bounds in illegal position 3 name resolution errors detected in bv2.bpl