| version 1.2 | | version 1.3 |
|---|
| | |
| /* | | /* |
| * static char *rcsid_player_c = | | * static char *rcsid_player_c = |
| * "$Id: player.c,v 1.2 1999/05/05 06:30:25 uid200 Exp $"; | | * "$Id: player.c,v 1.3 1999/05/08 22:52:42 cvs Exp $"; |
| */ | | */ |
| | | |
| /* | | /* |
| | |
| dep = arch_to_object(deparch); | | dep = arch_to_object(deparch); |
| insert_ob_in_ob(dep, op); | | insert_ob_in_ob(dep, op); |
| } | | } |
| | | change_attr_value(&(dep->stats), i,-1); |
| SET_FLAG(dep, FLAG_APPLIED); | | SET_FLAG(dep, FLAG_APPLIED); |
| new_draw_info(NDI_UNIQUE, 0,op, lose_msg[i]); | | new_draw_info(NDI_UNIQUE, 0,op, lose_msg[i]); |
| fix_player(op); | | fix_player(op); |