-
chak@cse.unsw.edu.au. authored
- We forgot to pull the data declarations nested in class instances out of the instances when collecting all the predicates that we need derive. Thanks to Roman for spotting this.
878924ac
- We forgot to pull the data declarations nested in class instances out of the instances when collecting all the predicates that we need derive. Thanks to Roman for spotting this.