diff options
| author |  wuestholz <unknown> | 2014-01-17 10:32:49 +0100 |
|---|---|---|
| committer | wuestholz <unknown> | 2014-01-17 10:32:49 +0100 |
| commit | b32bb33052367346817bb8cc6b50943a9ee61c4d (patch) | |
| tree | acc83cef15a3bbe6f7cd5815f93069cca1b118b5 /Source/Dafny | |
| parent | 185da87b03966aea2a4b2beb2e0f5100e92fe8aa (diff) | |
Fix minor issue in compilation of main methods.
Diffstat (limited to 'Source/Dafny')
| -rw-r--r-- | Source/Dafny/Compiler.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/Compiler.cs b/Source/Dafny/Compiler.cs index 9382e764..01bac2ad 100644 --- a/Source/Dafny/Compiler.cs +++ b/Source/Dafny/Compiler.cs @@ -778,7 +778,7 @@ namespace Microsoft.Dafny { wr.Write(">");
}
wr.WriteLine("();");
- Indent(indent + IndentAmount); wr.WriteLine("b.Main();");
+ Indent(indent + IndentAmount); wr.WriteLine("b.@Main();");
Indent(indent); wr.WriteLine("}");
}
}
|