Re-disable EC extraction for some primitives
@@ -48,10 +48,10 @@ cargo clean
cargo build
cargo install --path language
typecheck hacspec-chacha20 ec fst json coq Hacspec.Chacha20.fst
-typecheck hacspec-chacha20poly1305 ec fst json coq Hacspec.Chacha20Poly1305.fst
+typecheck hacspec-chacha20poly1305 no-ec fst json coq Hacspec.Chacha20Poly1305.fst
typecheck hacspec-poly1305 ec fst json coq Hacspec.Poly1305.fst
typecheck hacspec-curve25519 ec fst json coq
-typecheck hacspec-hkdf ec fst json no-coq
+typecheck hacspec-hkdf no-ec fst json no-coq
typecheck hacspec-hmac no-ec fst json no-coq
typecheck hacspec-sha256 no-ec fst json coq
typecheck hacspec-ntru-prime ec fst json no-coq
