From a2a2597e53741603f9269d7f2c9e7a84ccd21fd2 Mon Sep 17 00:00:00 2001
From: Bernhard Kragl <bernhard.kragl@gmail.com>
Date: Tue, 18 Feb 2020 19:34:53 +0100
Subject: [PATCH] Remove deleted files from old csproj file

---
 Source/Provers/SMTLib/SMTLib.csproj | 2 --
 1 file changed, 2 deletions(-)

diff --git a/Source/Provers/SMTLib/SMTLib.csproj b/Source/Provers/SMTLib/SMTLib.csproj
index 44e5c8416..70dffcedd 100644
--- a/Source/Provers/SMTLib/SMTLib.csproj
+++ b/Source/Provers/SMTLib/SMTLib.csproj
@@ -147,8 +147,6 @@
     <Compile Include="SMTLibProcess.cs" />
     <Compile Include="TypeDeclCollector.cs" />
     <Compile Include="Z3.cs" />
-    <Compile Include="Yices2.cs" />
-    <Compile Include="CVC4.cs" />
     <Compile Include="..\..\version.cs">
       <Link>version.cs</Link>
     </Compile>