diff options
| author |  rustanleino <unknown> | 2010-07-19 23:43:19 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-07-19 23:43:19 +0000 |
| commit | 054c66bf3f1e6662368801a6e88a4cbdf167db5e (patch) | |
| tree | 6288319334db1497d6f9e20b350284d5f4d78b09 /Util/VS2010/Boogie | |
| parent | 57f87ca70027af0f318d2668ec837fc685f9b4be (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/VS2010/Boogie')
| -rw-r--r-- | Util/VS2010/Boogie/BoogieLanguageService.suo | bin | 32256 -> 32256 bytes | |||
| -rw-r--r-- | Util/VS2010/Boogie/BoogieLanguageService/IronyLanguageServicePackage.cs | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/Util/VS2010/Boogie/BoogieLanguageService.suo b/Util/VS2010/Boogie/BoogieLanguageService.suo Binary files differindex 3e0480df..bc7c3622 100644 --- a/Util/VS2010/Boogie/BoogieLanguageService.suo +++ b/Util/VS2010/Boogie/BoogieLanguageService.suo 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.
|