diff --git a/src/shell/drat_frontend.cpp b/src/shell/drat_frontend.cpp
index f4073b145..0cdac2953 100644
--- a/src/shell/drat_frontend.cpp
+++ b/src/shell/drat_frontend.cpp
@@ -459,7 +459,7 @@ static void verify_smt(char const* drat_file, char const* smt_file) {
         std::cout.flush();
         switch (r.m_tag) {
         case dimacs::drat_record::tag_t::is_clause: {
-            bool validated = checker.validate_hint(exprs, r.m_lits, r.m_hint);
+            bool validated = false && checker.validate_hint(exprs, r.m_lits, r.m_hint);
             checker.add(r.m_lits, r.m_status, validated);
             if (drat_checker.inconsistent()) {
                 std::cout << "inconsistent\n";