diff --git a/src/ir_opt/verification_pass.cpp b/src/ir_opt/verification_pass.cpp
index ae8057af..a989d05c 100644
--- a/src/ir_opt/verification_pass.cpp
+++ b/src/ir_opt/verification_pass.cpp
@@ -23,7 +23,7 @@ void VerificationPass(const IR::Block& block) {
             const IR::Type t2 = IR::GetArgTypeOf(inst.GetOpcode(), i);
             if (!IR::AreTypesCompatible(t1, t2)) {
                 std::puts(IR::DumpBlock(block).c_str());
-                ASSERT(false);
+                ASSERT_FALSE("above block failed validation");
             }
         }
     }