mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-16 09:53:36 +00:00
compiler/compute_grade.m:
compiler/file_names.m:
compiler/options.m:
scripts/parse_grade_options.sh-subr:
Delete code that understood references to picreg.
tests/debugger/Mercury.options:
tests/hard_coded/Mercury.options:
Don't specify picreg options.