third commit

boogie-org · Dec 2, 2024 · 60e7ad8 · 60e7ad8
1 parent 4fa978c
commit 60e7ad8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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