1 files changed, 1 insertions, 8 deletions
diff --git a/inc/if.h b/inc/if.h
index d58b06a..63ca90e 100644
--- a/inc/if.h
+++ b/inc/if.h
@@ -18,14 +18,7 @@ class IF : public Stage
 	InstrDTO *advance(Response p) override;
 
   private:
-	/**
-	 * Performs a fetch only if a current fetch is not pending. Pending means
-	 * that a fetch has completed successfully, but the caller stage in the
-	 * pipeline is not ready to receive it. In this case, `curr_instr` is not
-	 * the nullptr.
-	 * @return STALLED if we are waiting on the storage devices, OK otherwise.
-	 */
-	void advance_helper();
+	void advance_helper() override;
 };
 
 #endif /* IF_H_INCLUDED */