From cae857b8c83fa98e3581208d9e4266b1c7168133 Mon Sep 17 00:00:00 2001
From: MerryMage <MerryMage@users.noreply.github.com>
Date: Thu, 28 May 2020 20:40:11 +0100
Subject: [PATCH] verification_pass: Have an appropriate assertion message

---
 src/ir_opt/verification_pass.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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");
             }
         }
     }