From 99576530e6067863486dbbacf39b9a8adb98876e Mon Sep 17 00:00:00 2001
From: Alon Zakai <alonzakai@gmail.com>
Date: Thu, 5 May 2016 14:46:04 -0700
Subject: improve validator error message on set_local

---
 src/wasm-validator.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/wasm-validator.h b/src/wasm-validator.h
index a31f6ae15..3a9980860 100644
--- a/src/wasm-validator.h
+++ b/src/wasm-validator.h
@@ -86,7 +86,7 @@ public:
     noteBreak(curr->default_, curr->value);
   }
   void visitSetLocal(SetLocal *curr) {
-    shouldBeTrue(curr->type == curr->value->type, curr, "set_local type might be correct");
+    shouldBeEqual(curr->type, curr->value->type, curr, "set_local type must be correct");
   }
   void visitLoad(Load *curr) {
     validateAlignment(curr->align);
-- 
cgit v1.2.3