Index: src/wal.c
==================================================================
--- src/wal.c
+++ src/wal.c
@@ -2417,11 +2417,11 @@
       **         pSnapshot->mxFrame into the database file.  Note that the
       **         checkpoint need not have completed for this to cause problems.
       */
       volatile WalCkptInfo *pInfo = walCkptInfo(pWal);
 
-      assert( pWal->readLock>0 );
+      assert( pWal->readLock>0 || pWal->hdr.mxFrame==0 );
       assert( pInfo->aReadMark[pWal->readLock]<=pSnapshot->mxFrame );
 
       /* It is possible that there is a checkpointer thread running 
       ** concurrent with this code. If this is the case, it may be that the
       ** checkpointer has already determined that it will checkpoint