From 880ce12e2d3bd565860976846168d1c0b0ecff27 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sat, 20 Oct 2018 12:03:47 +0100
Subject: [PATCH] Fixed .NET Core API build.

---
 src/api/dotnet/Microsoft.Z3.csproj | 3 ++-
 src/api/dotnet/core/README.txt     | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/api/dotnet/Microsoft.Z3.csproj b/src/api/dotnet/Microsoft.Z3.csproj
index cde8b78c9..045c610dd 100644
--- a/src/api/dotnet/Microsoft.Z3.csproj
+++ b/src/api/dotnet/Microsoft.Z3.csproj
@@ -342,6 +342,7 @@
     <Compile Include="ConstructorList.cs" />
     <Compile Include="DatatypeExpr.cs" />
     <Compile Include="DatatypeSort.cs" />
+    <Compile Include="Deprecated.cs" />
     <Compile Include="FiniteDomainExpr.cs" />
     <Compile Include="FiniteDomainNum.cs" />
     <Compile Include="FPExpr.cs" />
@@ -360,11 +361,11 @@
     <Compile Include="FuncDecl.cs" />
     <Compile Include="FuncInterp.cs" />
     <Compile Include="Goal.cs" />
-    <Compile Include="InterpolationContext.cs" />
     <Compile Include="IntExpr.cs" />
     <Compile Include="IntNum.cs" />
     <Compile Include="IntSort.cs" />
     <Compile Include="IntSymbol.cs" />
+    <Compile Include="Lambda.cs" />
     <Compile Include="ListSort.cs" />
     <Compile Include="Model.cs" />
     <Compile Include="Optimize.cs" />
diff --git a/src/api/dotnet/core/README.txt b/src/api/dotnet/core/README.txt
index 883b23056..7af9cbf2c 100644
--- a/src/api/dotnet/core/README.txt
+++ b/src/api/dotnet/core/README.txt
@@ -6,6 +6,6 @@ functions, so that the API will compile, but not perform any contract
 checking. To build this using .NET core, run (in this directory):
 
 dotnet restore
-dotnet build core.json
+dotnet build core.csproj -c Release
 
 -- good luck!