Disable Coq extraction for AES
@@ -62,6 +62,6 @@ typecheck hacspec-sha3 no-ec fst json no-coq
typecheck hacspec-gimli ec fst json no-coq
typecheck hacspec-bls12-381 no-ec no-fst json coq
typecheck hacspec-ecdsa-p256-sha256 no-ec no-fst json no-coq
-typecheck hacspec-aes no-ec fst json coq
+typecheck hacspec-aes no-ec fst json no-coq
typecheck hacspec-gf128 no-ec fst json no-coq
typecheck hacspec-aes128-gcm no-ec fst json no-coq
