-
David Bühler authored
Avoid warning about missing proto during typechecking. Also changes a warning into an error, and improves the error message.
3bf9500a
Avoid warning about missing proto during typechecking. Also changes a warning into an error, and improves the error message.