From 44ef71d1af7b006b1bbd17fe668233a3e9f2299f Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Wed, 9 Dec 2015 10:45:03 +0100
Subject: [PATCH] update pet for isl_ctx_alloc_with_pet_options

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 pet | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pet b/pet
index d9e1738..874f1a7 160000
--- a/pet
+++ b/pet
@@ -1 +1 @@
-Subproject commit d9e1738ccc4ff1e871dac3d50b2498f6b9d25f95
+Subproject commit 874f1a7cf2a5f0d4093fa59825a7cd6684efa9b6
-- 
2.11.4.GIT