diff options
| author | Wladimir J. van der Laan <[email protected]> | 2015-05-18 07:53:02 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <[email protected]> | 2015-05-18 07:53:09 +0200 |
| commit | a6d2e31e8bd50ec6c0b359a2fdb2b368be3f46c6 (patch) | |
| tree | e80544fd55c47f4385ed88b14cd43e7a9e2e95bc /src | |
| parent | Merge pull request #6150 (diff) | |
| parent | Remove assertion from ~LockedPageManager (diff) | |
| download | discoin-a6d2e31e8bd50ec6c0b359a2fdb2b368be3f46c6.tar.xz discoin-a6d2e31e8bd50ec6c0b359a2fdb2b368be3f46c6.zip | |
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 3fd793072..88b95cce7 100644 --- a/src/support/pagelocker.h +++ b/src/support/pagelocker.h @@ -37,7 +37,6 @@ public: ~LockedPageManagerBase() { - assert(this->GetLockedPageCount() == 0); } |