diff options
Diffstat (limited to 'Jennisys/Jennisys.fsproj')
| -rw-r--r-- | Jennisys/Jennisys.fsproj | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jennisys/Jennisys.fsproj b/Jennisys/Jennisys.fsproj index f9bbc289..d3493749 100644 --- a/Jennisys/Jennisys.fsproj +++ b/Jennisys/Jennisys.fsproj @@ -23,7 +23,7 @@ <WarningLevel>3</WarningLevel>
<PlatformTarget>x86</PlatformTarget>
<DocumentationFile>bin\Debug\Language.XML</DocumentationFile>
- <StartArguments>examples/DList.jen /method:DNode.Init /noGenMod</StartArguments>
+ <StartArguments>examples/oopsla12/IntSet.jen /method:IntSet.Singleton</StartArguments>
<StartWorkingDirectory>C:\boogie\Jennisys\Jennisys\</StartWorkingDirectory>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|x86' ">
|