diff options
| author |  wuestholz <unknown> | 2013-12-18 09:35:16 +0100 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-12-18 09:35:16 +0100 |
| commit | 7a4728f23ce2101c1cfb7668c350f5c9c8953f5c (patch) | |
| tree | 8d94a2a327277c9668716008823a408c7ac17401 | |
| parent | 918aadf5c467e68f93b8d898496b62e6334ab122 (diff) | |
Fix a possible null dereference.
| -rw-r--r-- | Source/Dafny/DafnyMain.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/DafnyMain.cs b/Source/Dafny/DafnyMain.cs index 182567d9..b608a6e2 100644 --- a/Source/Dafny/DafnyMain.cs +++ b/Source/Dafny/DafnyMain.cs @@ -32,7 +32,7 @@ namespace Microsoft.Dafny { Console.WriteLine("Parsing " + dafnyFileName);
}
- string err = ParseFile(dafnyFileName, null, module, builtIns, new Errors());
+ string err = ParseFile(dafnyFileName, Bpl.Token.NoToken, module, builtIns, new Errors());
if (err != null) {
return err;
}
|