let rec aux y x =
if y >= t.T.ts.T.rf then () else
if x >= t.T.ts.T.cf then aux (succ y) 0 else begin
- M.set_attrs st.tm (t.T.ts.T.y + y) (t.T.ts.T.x + x) t.T.tc t.T.tu t.T.tx;
+ M.set_attrs st.tm (t.T.ts.T.y + y) (t.T.ts.T.x + x) t.T.tc t.T.tu t.T.tx t.T.tn;
aux y (succ x)
end
in