diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-05-18 07:53:02 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-05-18 07:53:09 +0200 |
| commit | a6d2e31e8bd50ec6c0b359a2fdb2b368be3f46c6 (patch) | |
| tree | e80544fd55c47f4385ed88b14cd43e7a9e2e95bc /src | |
| parent | ec81395a4c1abe6be1c25c6d38a3d92347aeff16 (diff) | |
| parent | 881027a79d25a13875e1ed784c827811e53ba432 (diff) | |
Merge pull request #6144
881027a Remove assertion from ~LockedPageManager (Wladimir J. van der Laan)
Diffstat (limited to 'src')
| -rw-r--r-- | src/support/pagelocker.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/support/pagelocker.h b/src/support/pagelocker.h index 3fd793072f..88b95cce73 100644 --- a/src/support/pagelocker.h +++ b/src/support/pagelocker.h @@ -37,7 +37,6 @@ public: ~LockedPageManagerBase() { - assert(this->GetLockedPageCount() == 0); } |