diff --git a/dune/perftool/vectorclass b/dune/perftool/vectorclass index 7c272d88882ab44172a66bc0b7e387f35c403594..8adf71121dfddf91545c743e7c078d0336636858 160000 --- a/dune/perftool/vectorclass +++ b/dune/perftool/vectorclass @@ -1 +1 @@ -Subproject commit 7c272d88882ab44172a66bc0b7e387f35c403594 +Subproject commit 8adf71121dfddf91545c743e7c078d0336636858