Asmb file tabbing

Signed-off-by: Jake Massimo <[email protected]>

Author: jakemas

proofs/hol_light/x86_64/mldsa/mldsa_ntt.S

@@ -26,8 +26,8 @@
 // Microsoft x64 ABI:   RCX = a, RDX = zetas
 // ----------------------------------------------------------------------------
 
-        .intel_syntax noprefix
-        .text
+.intel_syntax noprefix
+.text
 
 #define a rdi
 #define zetas rsi
@@ -239,23 +239,23 @@ _mldsa_ntt:
 .global mldsa_ntt
 mldsa_ntt:
 #endif
-        .cfi_startproc
-        endbr64
+.cfi_startproc
+	endbr64
 
-        vmovdqa ymm0,[rsi+MLD_AVX2_BACKEND_DATA_OFFSET_8XQ*4]
+	vmovdqa ymm0,[rsi+MLD_AVX2_BACKEND_DATA_OFFSET_8XQ*4]
 
-        levels0t1 0
-        levels0t1 1
-        levels0t1 2
-        levels0t1 3
+	levels0t1 0
+	levels0t1 1
+	levels0t1 2
+	levels0t1 3
 
-        levels2t7 0
-        levels2t7 1
-        levels2t7 2
-        levels2t7 3
+	levels2t7 0
+	levels2t7 1
+	levels2t7 2
+	levels2t7 3
 
-        ret
-        .cfi_endproc
+	ret
+.cfi_endproc
 
 #if defined(__linux__) && defined(__ELF__)
 .section .note.GNU-stack,"",%progbits