Closed widlarizer closed 2 months ago
By setting argidx correctly this PR prevents the warning opt_demorgan would unconditionally throw: Warning: Selection "opt_demorgan" did not match any module.
Warning: Selection "opt_demorgan" did not match any module.
By setting argidx correctly this PR prevents the warning opt_demorgan would unconditionally throw:
Warning: Selection "opt_demorgan" did not match any module.