diff --git a/external/ppr b/external/ppr
index 1baa367..cda34df 160000
--- a/external/ppr
+++ b/external/ppr
@@ -1 +1 @@
-Subproject commit 1baa36725d2a75333f1ed0d2b355dfc0398a07be
+Subproject commit cda34dfbaa4d096ea3a512746e7946c8aa72d9d5