From: Sven Verdoolaege <skimo@kotnet.org>
Date: Fri, 4 Apr 2014 10:40:54 +0000 (+0200)
Subject: update pet for sorting of arrays
X-Git-Tag: barvinok-0.37~4
X-Git-Url: https://repo.or.cz/w/barvinok.git/commitdiff_plain/b99527903b2a231ff1b808f4fb8e6bdea473092e

update pet for sorting of arrays

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---

diff --git a/pet b/pet
index cfcde32..4f12fdb 160000
--- a/pet
+++ b/pet
@@ -1 +1 @@
-Subproject commit cfcde32488e76463e2f2b14a310417ac84545feb
+Subproject commit 4f12fdbe163ba7a562641ce9219413c6de200022