From f3d61f2706198e9401d88f75bcd9003815161d62 Mon Sep 17 00:00:00 2001
From: nmacedo <nfmmacedo@di.uminho.pt>
Date: Mon, 23 Jul 2018 10:18:52 +0100
Subject: [PATCH] pardinus updated

---
 pardinus | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pardinus b/pardinus
index e80f24ee..5da198f6 160000
--- a/pardinus
+++ b/pardinus
@@ -1 +1 @@
-Subproject commit e80f24ee8961e6a567577f0afc85b9f68252909d
+Subproject commit 5da198f682052a9433077ac64b4c50417e291f10