Skip to content

Fix potential typo in hole rule?

Lachnitt requested to merge hole into master

Does the number of arguments need to be the same as the number of premises? If so this PR can be deleted otherwise, it fixes this typo.

Merge request reports