--- old/src/hotspot/share/gc/shenandoah/shenandoahTraversalGC.hpp	2018-07-17 22:23:39.302442298 +0200
+++ new/src/hotspot/share/gc/shenandoah/shenandoahTraversalGC.hpp	2018-07-17 22:23:39.086446049 +0200
@@ -71,7 +71,7 @@
   void final_traversal_collection();
 
   template <class T, bool STRING_DEDUP, bool DEGEN, bool UPDATE_MATRIX>
-  inline void process_oop(T* p, Thread* thread, ShenandoahObjToScanQueue* queue, oop base_obj);
+  inline void process_oop(T* p, Thread* thread, ShenandoahObjToScanQueue* queue, ShenandoahMarkingContext* const mark_context, oop base_obj);
 
   bool check_and_handle_cancelled_gc(ParallelTaskTerminator* terminator);