-
Simon Peyton Jones authored
Rules for imported things are now kept in the global rule base, not attached to the global Id. The rule-check pass hadn't kept up. This should fix it.
609db9ce
Rules for imported things are now kept in the global rule base, not attached to the global Id. The rule-check pass hadn't kept up. This should fix it.