pretyping: small cleaning

jasmin-lang / jasmin

Language for high-assurance and high-speed cryptography

MIT License

253 stars 53 forks source link

Closed vbgl closed 4 weeks ago

vbgl commented 4 weeks ago

Remove a dead function, a legacy comment, and the now obsolete tt_ws function.