diff options
Diffstat (limited to 'crawl-ref/source/player.h')
| -rw-r--r-- | crawl-ref/source/player.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crawl-ref/source/player.h b/crawl-ref/source/player.h index 147572a053..29f4102bb1 100644 --- a/crawl-ref/source/player.h +++ b/crawl-ref/source/player.h @@ -53,6 +53,7 @@ public: unsigned short unrand_reacts; double elapsed_time; // total amount of elapsed time in the game + // This is NOT a fraction; double is merely used as a portable long long here unsigned char synch_time; // amount to wait before calling handle_time() |