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 17c74563..832176fd 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>C:\boogie\Jennisys\Jennisys\examples\Set.jen /method:Set.Double</StartArguments>
+ <StartArguments>C:\boogie\Jennisys\Jennisys\examples\Set.jen /method:Set.Double /noCheckUnifs</StartArguments>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|x86' ">
<DebugType>pdbonly</DebugType>
|