diff --git a/externals/popl b/externals/popl
index 59fddc99..0e13baa5 160000
--- a/externals/popl
+++ b/externals/popl
@@ -1 +1 @@
-Subproject commit 59fddc997e405249708b9d6c9a611eaa8da8e983
+Subproject commit 0e13baa5c3e5c83717d0a0628136ae0f52bd7454