From 26f80b7ea3adee157bcbb4bd9fb34b6c97229b89 Mon Sep 17 00:00:00 2001
From: Dennis Gilmore <dennis@ausil.us>
Date: Jun 17 2015 03:27:32 +0000
Subject: - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild


---

diff --git a/csisat.spec b/csisat.spec
index 496b8eb..d704d2f 100644
--- a/csisat.spec
+++ b/csisat.spec
@@ -1,6 +1,6 @@
 Name:           csisat
 Version:        1.2
-Release:        16%{?dist}
+Release:        17%{?dist}
 Summary:        Tool for LA+EUF Interpolation
 
 Group:          Applications/Engineering
@@ -66,6 +66,9 @@ cp -p bin/* $RPM_BUILD_ROOT%{_bindir}
 %{_bindir}/csisatServer
 
 %changelog
+* Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.2-17
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
+
 * Fri Nov  7 2014 Jerry James <loganjerry@gmail.com> - 1.2-16
 - Rebuild for picosat 960
 - Fix license handling