diff options
-rw-r--r-- | DafnyDriver/DafnyDriver.cs (renamed from DafnyDriver/DafnyDriver.ssc) | 0 | ||||
-rw-r--r-- | DafnyDriver/DafnyDriver.csproj (renamed from DafnyDriver/DafnyDriver.sscproj) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/DafnyDriver/DafnyDriver.ssc b/DafnyDriver/DafnyDriver.cs index 952a5ea6..952a5ea6 100644 --- a/DafnyDriver/DafnyDriver.ssc +++ b/DafnyDriver/DafnyDriver.cs diff --git a/DafnyDriver/DafnyDriver.sscproj b/DafnyDriver/DafnyDriver.csproj index 9beb51a0..9beb51a0 100644 --- a/DafnyDriver/DafnyDriver.sscproj +++ b/DafnyDriver/DafnyDriver.csproj |