#1499: Error in synchronisation after restriction ---------------------+------------------------------------------------------ Reporter: hinder | Owner: eschnett Type: defect | Status: reopened Priority: major | Milestone: ET_2014_05 Component: Carpet | Version: development version Resolution: | Keywords: ---------------------+------------------------------------------------------ Changes (by eschnett):
* status: closed => reopened * resolution: fixed =>
Comment:
Reopening, since restriction may still be wrong for higher order restriction operators.