search

Mercury-Language / mercury

The Mercury logic programming system.
Other
904 stars 54 forks source link

Fix --no-warn-non-contiguous-decls documentation. #115

Closed zopsicle closed 1 year ago

zopsicle commented 1 year ago

doc/user_guide.texi: compiler/options.m: Name the option correctly in the documentation.

zsomogyi commented 1 year ago

Thank you.