From 1c316bf969373791f0f37d8b5a54fd856130ff05 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Tue, 6 Oct 2015 21:36:21 -0600
Subject: [PATCH] Remove csisat, since it is now retired.

---
 comps-f23.xml.in | 1 -
 comps-f24.xml.in | 1 -
 2 files changed, 2 deletions(-)

diff --git a/comps-f23.xml.in b/comps-f23.xml.in
index 759ccb8b..032417d7 100644
--- a/comps-f23.xml.in
+++ b/comps-f23.xml.in
@@ -1465,7 +1465,6 @@
       <packagereq type="optional">cryptominisat</packagereq>
       <packagereq type="optional">csdp</packagereq>
       <packagereq type="optional">csdp-tools</packagereq>
-      <packagereq type="optional">csisat</packagereq>
       <packagereq type="optional">cudd</packagereq>
       <packagereq type="optional">cudd-devel</packagereq>
       <packagereq type="optional">cvc3</packagereq>
diff --git a/comps-f24.xml.in b/comps-f24.xml.in
index f03f1a68..4b55f5fb 100644
--- a/comps-f24.xml.in
+++ b/comps-f24.xml.in
@@ -1465,7 +1465,6 @@
       <packagereq type="optional">cryptominisat</packagereq>
       <packagereq type="optional">csdp</packagereq>
       <packagereq type="optional">csdp-tools</packagereq>
-      <packagereq type="optional">csisat</packagereq>
       <packagereq type="optional">cudd</packagereq>
       <packagereq type="optional">cudd-devel</packagereq>
       <packagereq type="optional">cvc3</packagereq>