Remove deleted files from old csproj file

boogie-org · Feb 18, 2020 · a2a2597 · a2a2597
1 parent 472fb4b
commit a2a2597
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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>