Checking in specs
[repair.git] / Repair / RepairCompiler / MCC / specs / linkedlists / ex.constraints
1 [], sizeof(Nodes) >= 1;