-
Sylvain Dailler authored
For first_order_matching, adding a bound_vars set to disallow substitution by terms containing bounded vars.
d8017e38
For first_order_matching, adding a bound_vars set to disallow substitution by terms containing bounded vars.