LogicalContracts/LogicalEnglish

ERROR: No permission to modify static procedure `(is)/2'

Closed this issue · 1 comments

When "is" is used as part of a scenario, we need permissions to assert the assumptions.

Just declare the corresponding template with "is".