From 0e83b351f6d5957d9bd164ed4813ab1011cfb6e8 Mon Sep 17 00:00:00 2001
From: Dennis Gilmore <dennis@ausil.us>
Date: Jun 07 2014 06:19:10 +0000
Subject: - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild


---

diff --git a/csisat.spec b/csisat.spec
index 2115b6b..b7fa000 100644
--- a/csisat.spec
+++ b/csisat.spec
@@ -1,6 +1,6 @@
 Name:           csisat
 Version:        1.2
-Release:        13%{?dist}
+Release:        14%{?dist}
 Summary:        Tool for LA+EUF Interpolation
 
 Group:          Applications/Engineering
@@ -62,6 +62,9 @@ cp -p bin/* $RPM_BUILD_ROOT%{_bindir}
 %{_bindir}/csisatServer
 
 %changelog
+* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.2-14
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
+
 * Fri Apr 18 2014 Jerry James <loganjerry@gmail.com> - 1.2-13
 - Remove ocaml_arches macro (bz 1087794)