jasmin
jasmin copied to clipboard
Typo in the compiler's output
typing error: unkown name <name>
should read
typing error: unknown name <name>.
This comes from line 345 of pretyping.ml.