Index: libcfa/src/concurrency/kernel/fwd.hfa
===================================================================
--- libcfa/src/concurrency/kernel/fwd.hfa	(revision d4264e8a120ee554ca06bdced07b5b59cee1a852)
+++ libcfa/src/concurrency/kernel/fwd.hfa	(revision 358e1152002470ca3f713c07ccb231c390e19624)
@@ -374,5 +374,5 @@
 				// since if that is the case, the oneshot was fulfilled (unparking this thread)
 				// and the oneshot should not be needed any more
-				__attribute__((unused)) struct oneshot * was = this.ptr;
+				struct oneshot * was __attribute__((unused)) = this.ptr; // used in option verify
 				/* paranoid */ verifyf( was == future_FULFILLED, "Expected this.ptr to be 1p, was %p\n", was );