sha1 - add to "typecheck examples" script
@@ -82,5 +82,6 @@ typecheck hacspec-linalg no-ec no-fst json coq
typecheck hacspec-rsa-pkcs1 no-ec no-fst json coq
typecheck hacspec-rsa-fdh-vrf no-ec no-fst json coq
typecheck hacspec-bip-340 no-ec no-fst json coq
+typecheck hacspec-sha1 ec fst json coq Hacspec.Sha1.fst
# Protocols:
typecheck tls_cryptolib no-ec fst json coq Hacspec.Tls.Cryptolib.fst
