diff options
Diffstat (limited to 'crawl-ref/source/player.cc')
| -rw-r--r-- | crawl-ref/source/player.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crawl-ref/source/player.cc b/crawl-ref/source/player.cc index 858b963f84..8c09a7d2ba 100644 --- a/crawl-ref/source/player.cc +++ b/crawl-ref/source/player.cc @@ -3101,7 +3101,7 @@ void level_change(bool skip_attribute_increase) // Increase tutorial time-out now that it's actually become useful // for a longer time. - if (Options.tutorial_left && you.experience_level >= 7) + if (Tutorial.tutorial_left && you.experience_level >= 7) tutorial_finished(); } |