changeset 10229 | fba3f9fa44d7 |
parent 10222 | b6919c94cc77 |
child 10230 | bf81856a1101 |
--- a/src/ai/default/default.cpp Fri Apr 18 03:20:59 2008 +0000 +++ b/src/ai/default/default.cpp Fri Apr 18 04:37:06 2008 +0000 @@ -3995,11 +3995,11 @@ if (_players_ai[p->index].state != old_state) { if (hasdots) printf("\n"); - hasdots=false; + hasdots = false; printf("AiState: %s\n", _ai_state_names[old_state=_players_ai[p->index].state]); } else { printf("."); - hasdots=true; + hasdots = true; } } #endif