1 files changed, 1 insertions, 0 deletions
diff --git a/executor/executor.h b/executor/executor.h
index 1c4bfc523..6741a4baf 100644
--- a/executor/executor.h
+++ b/executor/executor.h
@@ -93,6 +93,7 @@ struct thread_t {
 	osthread_t th;
 	char* cover_data;
 	char* cover_end;
+	uint64* cover_size_ptr;
 
 	event_t ready;
 	event_t done;