diff options
Diffstat (limited to 'Util/VS2010/DafnyExtension/DafnyExtension/DafnyDriver.cs')
-rw-r--r-- | Util/VS2010/DafnyExtension/DafnyExtension/DafnyDriver.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/DafnyDriver.cs b/Util/VS2010/DafnyExtension/DafnyExtension/DafnyDriver.cs index b7b2cd6d..79194d97 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/DafnyDriver.cs +++ b/Util/VS2010/DafnyExtension/DafnyExtension/DafnyDriver.cs @@ -47,7 +47,7 @@ namespace DafnyLanguage }
}
- public Dafny.Program Process() {
+ public Dafny.Program ProcessResolution() {
if (!ParseAndTypeCheck()) {
return null;
}
|