Regen expectations

ProvableHQ · Jul 1, 2023 · 305b32a · 305b32a
1 parent e37e131
commit 305b32a
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/tests/expectations/compiler/mappings/shadowed_mapping_fail.out b/tests/expectations/compiler/mappings/shadowed_mapping_fail.out
@@ -0,0 +1,5 @@
+---
+namespace: Compile
+expectation: Fail
+outputs:
+  - "Error [EAST0372009]: variable `one` shadowed by\n    --> compiler-test:8:5\n     |\n   8 |     transition one() -> u8 {\n   9 |         return 1u8 + 1u8;\n  10 |     }\n     |     ^\n"