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