--- old/src/share/vm/gc/cms/concurrentMarkSweepGeneration.cpp	2016-02-10 16:47:03.811032076 +0100
+++ new/src/share/vm/gc/cms/concurrentMarkSweepGeneration.cpp	2016-02-10 16:47:03.731032073 +0100
@@ -2225,7 +2225,7 @@
       LogHandle(gc, verify) log;
       ResourceMark rm;
       oop(addr)->print_on(log.error_stream());
-      log.info(" (" INTPTR_FORMAT " should have been marked)", p2i(addr));
+      log.error(" (" INTPTR_FORMAT " should have been marked)", p2i(addr));
       _failed = true;
     }
     return true;