Fix main names that got past CI to fix tests. (#945)

#939 switch to `Main`, but #919 predated it and didn't get updated
before merging. Its tests passed on the PR branch as a consequence, but
failed when landed.

This just updates the test cases. Trivial fix forward.
This commit is contained in:
Chandler Carruth
2021-11-04 22:08:23 -07:00
committed by GitHub
parent e476373d28
commit b990bab452
2 changed files with 2 additions and 2 deletions
@@ -13,7 +13,7 @@ package ExecutableSemanticsTest api;
var x: i32 = 0;
fn main() -> i32 {
fn Main() -> i32 {
var x: i32 = 0;
return 0;
}
@@ -13,7 +13,7 @@ package ExecutableSemanticsTest api;
var x: i32 = 0;
fn main() -> i32 {
fn Main() -> i32 {
match (0) {
case x: i32 => {
var x: i32 = 0;