Update src/x86/isa.c
diff --git a/src/x86/isa.c b/src/x86/isa.c index ee65f83..47a6afa 100644 --- a/src/x86/isa.c +++ b/src/x86/isa.c
@@ -433,7 +433,7 @@ * AVX 10.1 instructions: */ isa.avx10_1 = avx512_regs && !!(structured_feature_info1.edx & UINT32_C(0x00080000)); - + /* * AVX512PF instructions: * - Intel: ebx[bit 26] in structured feature info (ecx = 0).