| version 1.112 | version 1.113 | |||
|---|---|---|---|---|
|
| |||
| /* | /* | |||
| * static char *rcsid_player_c = | * static char *rcsid_player_c = | |||
| * "$Id: player.c,v 1.112 2002/12/25 06:45:46 garbled Exp $"; | * "$Id: player.c,v 1.113 2002/12/27 08:37:41 mwedel Exp $"; | |||
| */ | */ | |||
| /* | /* | |||
|
| |||
| * on the space | * on the space | |||
| */ | */ | |||
| while (tmp!=NULL) { | while (tmp!=NULL) { | |||
| if (tmp == op) continue; | if (tmp == op) { | |||
| tmp=tmp->above; | ||||
| continue; | ||||
| } | ||||
| if (QUERY_FLAG(tmp,FLAG_ALIVE)) { | if (QUERY_FLAG(tmp,FLAG_ALIVE)) { | |||
| mon = tmp; | mon = tmp; | |||
| break; | break; |
Legend:
| ||||||