Fixed silly mistake in hax.yml

cryspen · Nov 24, 2023 · 180e67c · 180e67c
1 parent ce756a6
commit 180e67c
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/hax.yml b/.github/workflows/hax.yml
@@ -54,15 +54,15 @@ jobs:
         run: |
           eval $(opam env)
           ./hax-driver.py --kyber-reference
+          # Extract the functions in the compress module individually to test
+          # the function-extraction code.
+          # Extract functions from the remaining modules to test the
+          # module-extraction code.
           ./hax-driver.py --crate-path specs/kyber \
-            # Extract the functions in the compress module individually to test
-            # the function-extraction code.
             --functions hacspec_kyber::compress::compress \
                         hacspec_kyber::compress::decompress \
                         hacspec_kyber::compress::compress_d \
                         hacspec::kyber::compress::decompress_d \
-            # Extract functions from the remaining modules to test the
-            # module-extraction code.
             --modules ind_cpa \
                       hacspec_kyber \
                       matrix \