make usage of foo is a user-defined error more informative#13833
Merged
Araq merged 1 commit intonim-lang:develfrom timotheecour:pr_fix_userdefined_errror_D20200331T155530Apr 1, 2020
+5-3
