Commit 718e7b89 authored by Andreas Marek's avatar Andreas Marek

Make code compile with --disable-autotuning again

parent 196bbde2