diff options
Diffstat (limited to 'crawl-ref/source/externs.h')
| -rw-r--r-- | crawl-ref/source/externs.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/crawl-ref/source/externs.h b/crawl-ref/source/externs.h index 66c056c8a6..fdd48acfbb 100644 --- a/crawl-ref/source/externs.h +++ b/crawl-ref/source/externs.h @@ -530,7 +530,9 @@ public: bool is_global() const; void make_global(); - void assert_validity() const; + // Not const since it now tries to patch up problems instead of + // merely asserting. + void assert_validity(); const std::string short_name() const; |