From 054c66bf3f1e6662368801a6e88a4cbdf167db5e Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Mon, 19 Jul 2010 23:43:19 +0000
Subject: VS2010 integration: fixed typo in Boogie mode (install for .bpl
 files, not .dfy file; duh!) Chalice tests: removed machine-specific path from
 test.bat (replacing the file reference with just 'scala', which in some ways
 is machine-specific too)

---
 Util/VS2010/Boogie/BoogieLanguageService.suo        | Bin 32256 -> 32256 bytes
 .../IronyLanguageServicePackage.cs                  |   2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)

(limited to 'Util')

diff --git a/Util/VS2010/Boogie/BoogieLanguageService.suo b/Util/VS2010/Boogie/BoogieLanguageService.suo
index 3e0480df..bc7c3622 100644
Binary files a/Util/VS2010/Boogie/BoogieLanguageService.suo and b/Util/VS2010/Boogie/BoogieLanguageService.suo differ
diff --git a/Util/VS2010/Boogie/BoogieLanguageService/IronyLanguageServicePackage.cs b/Util/VS2010/Boogie/BoogieLanguageService/IronyLanguageServicePackage.cs
index c13c099b..411207c7 100644
--- a/Util/VS2010/Boogie/BoogieLanguageService/IronyLanguageServicePackage.cs
+++ b/Util/VS2010/Boogie/BoogieLanguageService/IronyLanguageServicePackage.cs
@@ -37,7 +37,7 @@ namespace Demo
     // This attribute will make your language service accessible by other packages installed.
     [ProvideService(typeof(IronyLanguageService))]
     // This attribute(s) associates file extensions with your language service.
-    [ProvideLanguageExtension(typeof(IronyLanguageService), ".dfy")]
+    [ProvideLanguageExtension(typeof(IronyLanguageService), ".bpl")]
 
     // This attributes informs Visual Studio that this package provides a langauge service and 
     // which features are implemented.
-- 
cgit v1.2.3