diff --git a/extern/qfr b/extern/qfr index 6fc0527e0..94229bf0f 160000 --- a/extern/qfr +++ b/extern/qfr @@ -1 +1 @@ -Subproject commit 6fc0527e0a68805462e6a920f7425a33bb9ba191 +Subproject commit 94229bf0f6ff70aae4f4036741f74a5f3a9bd0e5