diff options
Diffstat (limited to 'Source/DafnyDriver')
| -rw-r--r-- | Source/DafnyDriver/DafnyDriver.cs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs index 53d1cbdf..854269c1 100644 --- a/Source/DafnyDriver/DafnyDriver.cs +++ b/Source/DafnyDriver/DafnyDriver.cs @@ -354,7 +354,8 @@ namespace Microsoft.Dafny outputWriter.WriteLine();
var entry = cr.CompiledAssembly.EntryPoint;
try {
- entry.Invoke(null, new object[] { new string[0] });
+ object[] parameters = entry.GetParameters().Length == 0 ? new object[] { } : new object[] { new string[0] };
+ entry.Invoke(null, parameters);
} catch (System.Reflection.TargetInvocationException e) {
outputWriter.WriteLine("Error: Execution resulted in exception: {0}", e.Message);
outputWriter.WriteLine(e.InnerException.ToString());
|