diff --git a/src/singeli/src/squeeze.singeli b/src/singeli/src/squeeze.singeli index 1a9a3818..b7b531c2 100644 --- a/src/singeli/src/squeeze.singeli +++ b/src/singeli/src/squeeze.singeli @@ -105,9 +105,9 @@ fn squeeze{vw, X, CHR, B}(x0:*void, len:ux) : u32 = { else pair{ints} } tup{intp, wdn} - } else if (tuplen{ints}==1 and hasarch{'X86_64'} and ~hasarch{'AVX'}) { + } else if (tuplen{ints}==1 and hasarch{'X86_64'} and ~hasarch{'AVX2'}) { tup{tupsel{0, ints}, wdn} - } + } else assert{0} } }