From 92414e15910661de7203bbaf8a20942baac50403 Mon Sep 17 00:00:00 2001
From: stobies <unknown>
Date: Fri, 6 Aug 2010 07:22:50 +0000
Subject: Reverting accidental check-in

---
 Binaries/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Binaries')

diff --git a/Binaries/Makefile b/Binaries/Makefile
index 6a792393..3a2a7e20 100644
--- a/Binaries/Makefile
+++ b/Binaries/Makefile
@@ -6,8 +6,8 @@ SPECSHARPROOT = d:\SpecSharpCodePlex\SpecSharp
 # Use the first one if you want to build Boogie using the LKG build of Spec#.
 # Use the second one if you want to build Boogie using a freshly built version of Spec#.
 #
-SPECSHARPBINDIR = Microsoft.SpecSharp\LastKnownGood9
-#SPECSHARPBINDIR = Microsoft.SpecSharp\Registration
+#SPECSHARPBINDIR = Microsoft.SpecSharp\LastKnownGood9
+SPECSHARPBINDIR = Microsoft.SpecSharp\Registration
 
 all: 
 	copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\ITaskManager.dll"
-- 
cgit v1.2.3