databases/foundationdb/files/patch-fdbrpc_AsyncFileCached.actor.h


1
2
3
4
5
6
7
8
9
10
11

--- fdbrpc/AsyncFileCached.actor.h.orig	2018-04-28 14:44:18 UTC
+++ fdbrpc/AsyncFileCached.actor.h
@@ -450,7 +450,7 @@ struct AFCPage : public EvictablePage, p
 
 	virtual ~AFCPage() {
 		clearDirty();
-		ASSERT( flushableIndex == -1 );
+		ASSERT_ABORT( flushableIndex == -1 );
 	}
 
 	void setDirty() {