Details
-
Feature Request
-
Resolution: Done
-
Major
-
1.0.2
-
None
Description
It is currently necessary to provide a BIND NOTHING line in a rule which introduces no local bindings. It should be possible to omit this line.