Fix typos in 'instructions' and 'instruction' keywords#544

Merged

OlivierBBB merged 4 commits intoConsensys:masterfrom huperts:constraints-errors

Dec 12, 2024

+2-2

Commits on Dec 10, 2024

typo
huperts
committed
typo
huperts
committed

Commits on Dec 11, 2024

Merge branch 'master' into constraints-errors
huperts
authored

Commits on Dec 12, 2024

Merge branch 'master' into constraints-errors
OlivierBBB
authored