Skip to content

tactics.v: Fix parsing precedence for `select` tactic

Paolo G. Giarrusso requested to merge Blaisorblade/stdpp:patch-1 into master

Merge request reports