diff --git a/search/intermediate_result.cpp b/search/intermediate_result.cpp
index ff5152115f..ebca1d6f56 100644
--- a/search/intermediate_result.cpp
+++ b/search/intermediate_result.cpp
@@ -114,7 +114,7 @@ namespace
   uint8_t FirstLevelIndex(uint32_t t)
   {
     uint8_t v;
-    CHECK(ftype::GetValue(t, 0, v), (t));
+    VERIFY ( ftype::GetValue(t, 0, v), (t) );
     return v;
   }