changeset 1905 | b0b3fa857d72 |
parent 1902 | e9af75c90c28 |
child 1906 | 7fa90b66ca9e |
5:3babb8064514 | 6:c199990b0418 |
---|---|
229 case POST_HEAP: |
229 case POST_HEAP: |
230 case PRE_HEAP: |
230 case PRE_HEAP: |
231 if (state(i) == IN_HEAP) { |
231 if (state(i) == IN_HEAP) { |
232 erase(i); |
232 erase(i); |
233 } |
233 } |
234 index[i] = st; |
234 iimap[i] = st; |
235 break; |
235 break; |
236 } |
236 } |
237 } |
237 } |
238 |
238 |
239 private: |
239 private: |