Clean up remaining uses of old spelling main (#959)

This commit is contained in:
Geoff Romer
2021-11-24 14:32:39 -08:00
committed by GitHub
parent 3f7e1cd3fb
commit b14c97d0d7
6 changed files with 6 additions and 6 deletions
@@ -11,7 +11,7 @@
package ExecutableSemanticsTest api;
fn main() -> i32 {
fn Main() -> i32 {
var x: i32 = 0;
var x: i32 = 0;
return 0;
@@ -16,6 +16,6 @@ choice Ints {
None,
}
fn main() -> i32 {
fn Main() -> i32 {
return 0;
}
@@ -16,6 +16,6 @@ class Foo {
var x: i32;
}
fn main() -> i32 {
fn Main() -> i32 {
return 0;
}
@@ -14,6 +14,6 @@ package ExecutableSemanticsTest api;
var x: i32 = 0;
var x: i32 = 0;
fn main() -> i32 {
fn Main() -> i32 {
return 0;
}
@@ -11,7 +11,7 @@
package ExecutableSemanticsTest api;
fn main() -> i32 {
fn Main() -> i32 {
match (0) {
case x: i32 =>
var x: i32 = 0;