line up

GaloisInc · Jan 30, 2025 · 434dc38 · 434dc38
1 parent 3042c01
commit 434dc38
Showing 1 changed file with 10 additions and 10 deletions.
diff --git a/Primitive/Symmetric/Cipher/Block/Simon/Specification.cry b/Primitive/Symmetric/Cipher/Block/Simon/Specification.cry
@@ -337,17 +337,17 @@ private
   keySchedule : [m][n] -> [T][n]
   keySchedule k0 
     | m == 2 => k where
-        k = k0 # [
-        c ^ zji ^ (k @ i) ^ IS_Inv (S_Inv 3 (k @ (i+1)))
-        | i <- [0..T-m-1]
-        | zji <- zj
-        ]
+      k = k0 # [
+      c ^ zji ^ (k @ i) ^ IS_Inv (S_Inv 3 (k @ (i+1)))
+      | i <- [0..T-m-1]
+      | zji <- zj
+      ]
     | m == 3 => k where
-        k = k0 # [
-        c ^ zji ^ (k@i) ^ IS_Inv (S_Inv 3 (k@(i+2))) 
-        | i <- [0..T-m-1] 
-        | zji <- zj
-        ]
+      k = k0 # [
+      c ^ zji ^ (k@i) ^ IS_Inv (S_Inv 3 (k@(i+2))) 
+      | i <- [0..T-m-1] 
+      | zji <- zj
+      ]
     | m == 4 => k where
       k  = k0 # [
       c ^ zji ^ (k@i) ^ IS_Inv (S_Inv 3 (k@(i+3)) ^ (k@(i+1)))