| Index: Source/core/animation/Player.h
|
| diff --git a/Source/core/animation/Player.h b/Source/core/animation/Player.h
|
| index bd55fef253f04d3769890a722b570bda6d878e38..f169208bb5b6960feeeb15662c456550126f2da6 100644
|
| --- a/Source/core/animation/Player.h
|
| +++ b/Source/core/animation/Player.h
|
| @@ -119,7 +119,8 @@ private:
|
| bool m_held;
|
| bool m_isPausedForTesting;
|
|
|
| - // This indicates timing information relevant to the player has changed
|
| + // This indicates timing information relevant to the player has changed by
|
| + // means other than the ordinary progression of time
|
| bool m_outdated;
|
| };
|
|
|
|
|