From 48bf5bfc605c835694a0939ac859a0ac95e6b434 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Wed, 5 Jan 2011 10:23:11 +0100
Subject: [PATCH] isl 0.05.1

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 ChangeLog    | 5 +++++
 configure.ac | 4 ++--
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 58f56866..41547f20 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+version: 0.05.1
+date: Wed Jan  5 10:21:42 CET 2011
+changes:
+	- fix simple symmetry detection in parametric integer programming
+---
 version: 0.05
 date: Thu Dec 23 17:03:14 CET 2010
 changes:
diff --git a/configure.ac b/configure.ac
index 615c1b2d..a87c8146 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,9 +1,9 @@
 AC_INIT
 AC_CONFIG_AUX_DIR([.])
 AC_CONFIG_MACRO_DIR([m4])
-AM_INIT_AUTOMAKE(isl, 0.05)
+AM_INIT_AUTOMAKE(isl, 0.05.1)
 AC_SUBST(versioninfo)
-versioninfo=5:0:0
+versioninfo=5:1:0
 
 AC_PROG_CC
 
-- 
2.11.4.GIT