diff options
| -rw-r--r-- | Chalice/test.bat | 2 | ||||
| -rw-r--r-- | Util/VS2010/Boogie/BoogieLanguageService.suo | bin | 32256 -> 32256 bytes | |||
| -rw-r--r-- | Util/VS2010/Boogie/BoogieLanguageService/IronyLanguageServicePackage.cs | 2 |
3 files changed, 2 insertions, 2 deletions
diff --git a/Chalice/test.bat b/Chalice/test.bat index 7432a145..909c698f 100644 --- a/Chalice/test.bat +++ b/Chalice/test.bat @@ -1,7 +1,7 @@ @echo off
echo start > Output
-set CHALICE=call C:\Users\pmueller.D\Documents\bin\scala\bin\scala -cp bin Chalice -nologo
+set CHALICE=call scala -cp bin Chalice -nologo
REM to do: AssociationList
REM to do: GhostConst
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.
|