From f5553c2155b7342ffcd42aafadb51c72057e18c9 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sun, 4 Sep 2011 12:05:17 +0200
Subject: [PATCH] update isl for rename of isl_map_insert

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 isl | 2 +-
 pet | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/isl b/isl
index 3fbc27f..1303fcc 160000
--- a/isl
+++ b/isl
@@ -1 +1 @@
-Subproject commit 3fbc27ff19492e6ae0975ac26d006a7d93ebe39b
+Subproject commit 1303fcc500dabe1e1afe1fe521ff285093d7cc13
diff --git a/pet b/pet
index 2d4dd95..2fb390c 160000
--- a/pet
+++ b/pet
@@ -1 +1 @@
-Subproject commit 2d4dd954bcebf971e4e5330d859142117d541654
+Subproject commit 2fb390cc4c05264695e82d71cb9899a6ad01b6c7
-- 
2.11.4.GIT