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 082a54e1..69ab0ff2 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/Set.jen /method:SetNode.Double /genRepr</StartArguments>
+ <StartArguments>examples/Set.jen /method:Set.Double /genRepr /noVerifyParSol</StartArguments>
<StartWorkingDirectory>C:\boogie\Jennisys\Jennisys\</StartWorkingDirectory>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|x86' ">
|