diff options
| author |  Ken McMillan <kenmcmil@microsoft.com> | 2013-05-07 17:40:40 -0700 |
|---|---|---|
| committer | Ken McMillan <kenmcmil@microsoft.com> | 2013-05-07 17:40:40 -0700 |
| commit | 9a9991f2131de8e78035581ea2569ba187318ff0 (patch) | |
| tree | 5f2c0d4e85c9713f4d6663d26b49f67b5fbb27f0 /Source/Boogie.sln | |
| parent | 77aeb920de2c3cd22a1296700305539f28f6761c (diff) | |
Adding fixedpoint engine backend
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
|