From 310525c842f3f34b852767266644a00737ddc195 Mon Sep 17 00:00:00 2001 From: vng Date: Sat, 17 Dec 2011 16:10:03 +0300 Subject: [PATCH] [search] Minor fix. --- search/intermediate_result.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; }