jasmin Typo in the compiler's output

Typo in the compiler's output

Open mbty opened this issue 3 years ago • 0 comments

typing error: unkown name <name> should read typing error: unknown name <name>.

This comes from line 345 of pretyping.ml.

Jul 08 '22 07:07 mbty