From d9a499fb5bd1390d5e64aa65e4f669d88e26715d Mon Sep 17 00:00:00 2001
From: badaix <johannes.pohl@badaix.de>
Date: Tue, 19 Sep 2017 23:40:31 +0200
Subject: [PATCH] update popl

---
 externals/popl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/externals/popl b/externals/popl
index 5a4878df..b46b8dde 160000
--- a/externals/popl
+++ b/externals/popl
@@ -1 +1 @@
-Subproject commit 5a4878df88238d7712fdf3240996f26a78e207c5
+Subproject commit b46b8dde2317c0d32e098f6945f0ba988c6a67f2