summaryrefslogtreecommitdiff
path: root/Util
diff options
context:
space:
mode:
authorGravatar rustanleino <unknown>2010-07-19 23:43:19 +0000
committerGravatar rustanleino <unknown>2010-07-19 23:43:19 +0000
commit054c66bf3f1e6662368801a6e88a4cbdf167db5e (patch)
tree6288319334db1497d6f9e20b350284d5f4d78b09 /Util
parent57f87ca70027af0f318d2668ec837fc685f9b4be (diff)
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)
Diffstat (limited to 'Util')
-rw-r--r--Util/VS2010/Boogie/BoogieLanguageService.suobin32256 -> 32256 bytes
-rw-r--r--Util/VS2010/Boogie/BoogieLanguageService/IronyLanguageServicePackage.cs2
2 files changed, 1 insertions, 1 deletions
diff --git a/Util/VS2010/Boogie/BoogieLanguageService.suo b/Util/VS2010/Boogie/BoogieLanguageService.suo
index 3e0480df..bc7c3622 100644
--- a/Util/VS2010/Boogie/BoogieLanguageService.suo
+++ b/Util/VS2010/Boogie/BoogieLanguageService.suo
Binary files 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.