diff options
Diffstat (limited to 'src/backend/storage/file/sharedfileset.c')
| -rw-r--r-- | src/backend/storage/file/sharedfileset.c | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/backend/storage/file/sharedfileset.c b/src/backend/storage/file/sharedfileset.c index 65fd8ff5c0c..8b96e81ffff 100644 --- a/src/backend/storage/file/sharedfileset.c +++ b/src/backend/storage/file/sharedfileset.c @@ -285,7 +285,6 @@ SharedFileSetDeleteOnProcExit(int status, Datum arg) void SharedFileSetUnregister(SharedFileSet *input_fileset) { - bool found = false; ListCell *l; /* @@ -303,12 +302,12 @@ SharedFileSetUnregister(SharedFileSet *input_fileset) if (input_fileset == fileset) { filesetlist = list_delete_cell(filesetlist, l); - found = true; - break; + return; } } - Assert(found); + /* Should have found a match */ + Assert(false); } /* |