diff --git a/dune/perftool/vectorclass b/dune/perftool/vectorclass index 99cfc74cd8cb2195eaeb54302a58f9edaddd7c3c..4e11d28201c90f357771c98af790eccfaea2103d 160000 --- a/dune/perftool/vectorclass +++ b/dune/perftool/vectorclass @@ -1 +1 @@ -Subproject commit 99cfc74cd8cb2195eaeb54302a58f9edaddd7c3c +Subproject commit 4e11d28201c90f357771c98af790eccfaea2103d