Index: libcfa/src/concurrency/kernel/fwd.hfa
===================================================================
--- libcfa/src/concurrency/kernel/fwd.hfa	(revision 6dd40916453549a3eeb4345b08b5a630c3c3e45d)
+++ libcfa/src/concurrency/kernel/fwd.hfa	(revision 89da3a994f3a8944d318eebe5bbac3ced5d87f37)
@@ -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 );