| 1815 | } |
| 1816 | |
| 1817 | void ObjReInitPositionHistory(void) { |
| 1818 | ObjResetPositionHistory(); |
| 1819 | |
| 1820 | int i; |
| 1821 | for (i = 0; i <= Highest_object_index; i++) { |
| 1822 | if (Objects[i].type != OBJ_NONE) { |
| 1823 | ObjInitPositionHistory(&Objects[i]); |
| 1824 | } |
| 1825 | } |
| 1826 | } |
| 1827 | |
| 1828 | extern void newdemo_record_guided_end(); |
| 1829 |
no test coverage detected