diff options
Diffstat (limited to 'Util')
| -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.
|