Closed andresteingress closed 13 years ago
GContracts should support pre-/postconditions in interfaces.
fixed in 1.2
GContracts should support pre-/postconditions in interfaces.