diff --git a/extern/qfr b/extern/qfr
index ef83c0f3..ae0b7c00 160000
--- a/extern/qfr
+++ b/extern/qfr
@@ -1 +1 @@
-Subproject commit ef83c0f3ea809641e138fb5b61e5dca802a593cf
+Subproject commit ae0b7c00cc8e559ffb13b33c9be416b7d6fcfaeb