diff options
Diffstat (limited to 'Source/Boogie.sln')
| -rw-r--r-- | Source/Boogie.sln | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Boogie.sln b/Source/Boogie.sln index f3f068d7..7d27c011 100644 --- a/Source/Boogie.sln +++ b/Source/Boogie.sln @@ -1,5 +1,5 @@
-Microsoft Visual Studio Solution File, Format Version 12.00
+Microsoft Visual Studio Solution File, Format Version 11.00
# Visual Studio 2012
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "Provers", "Provers", "{B758C1E3-824A-439F-AA2F-0BA1143E8C8D}"
EndProject
|