From 9a9991f2131de8e78035581ea2569ba187318ff0 Mon Sep 17 00:00:00 2001
From: Ken McMillan <kenmcmil@microsoft.com>
Date: Tue, 7 May 2013 17:40:40 -0700
Subject: Adding fixedpoint engine backend

---
 Source/Boogie.sln | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/Boogie.sln')

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
-- 
cgit v1.2.3