From bd8a5982ad70d44d4cb6ed7cb5de8516a3973d3a Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 5 Jan 2016 11:37:34 +0000
Subject: [PATCH] Added new items to .NET project file

---
 src/api/dotnet/Microsoft.Z3.csproj | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/api/dotnet/Microsoft.Z3.csproj b/src/api/dotnet/Microsoft.Z3.csproj
index a753e0193..cde8b78c9 100644
--- a/src/api/dotnet/Microsoft.Z3.csproj
+++ b/src/api/dotnet/Microsoft.Z3.csproj
@@ -374,7 +374,11 @@
     <Compile Include="RatNum.cs" />
     <Compile Include="RealExpr.cs" />
     <Compile Include="RealSort.cs" />
+    <Compile Include="ReExpr.cs" />
     <Compile Include="RelationSort.cs" />
+    <Compile Include="ReSort.cs" />
+    <Compile Include="SeqExpr.cs" />
+    <Compile Include="SeqSort.cs" />
     <Compile Include="SetSort.cs" />
     <Compile Include="Statistics.cs" />
     <Compile Include="Status.cs" />