- Remove incorrect `--formula` requirements. - Fix bad `OptionConstraintError` output message. Fixes #9037.
include Kernel
.rbi