diff options
Diffstat (limited to 'Jennisys/Jennisys.fsproj')
| -rw-r--r-- | Jennisys/Jennisys.fsproj | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Jennisys/Jennisys.fsproj b/Jennisys/Jennisys.fsproj index 2613432c..e4b1493c 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/NumberMethods.jen /genMod /genRepr /method:NumberMethods.Min4</StartArguments>
+ <StartArguments>examples/List.jen /genMod /genRepr /method:Node.Get</StartArguments>
<StartWorkingDirectory>C:\boogie\Jennisys\Jennisys\</StartWorkingDirectory>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|x86' ">
@@ -71,6 +71,7 @@ <Compile Include="DafnyPrinter.fs" />
<Compile Include="TypeChecker.fs" />
<Compile Include="Resolver.fs" />
+ <Compile Include="FixpointSolver.fs" />
<Compile Include="MethodUnifier.fs" />
<Compile Include="Modularizer.fs" />
<Compile Include="CodeGen.fs" />
|