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>