mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
e8d6e48a1f
The `--format` option relied on `click.Context.get_parameter_source` to determine if the default value for the `--format` parameter was passed. A bug in click caused this to behave "correctly", click 8.4.0 fixed the bug. Change the logic by using `None` as the default value so that it can be checked without using the parameter source.