mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-16 14:25:56 +00:00
Estimated hours taken: 0.25 scripts/c2init.in: Fix a bug in the handling of the `--aditi' option -- it was performing a shift even though `--aditi' does not take an argument.