From 8e0355fc6bd460baa72fc2851776f65b4d519ab9 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 12 Jun 2020 19:24:33 +0000
Subject: [PATCH] deps/wasm-semantics: 8794dd4 - Fix typo (`eq` instead of
 `ne`) (#359)

---
 deps/wasm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 08042d9..8794dd4 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 08042d993316397a165486484ea34ec177396340
+Subproject commit 8794dd41faf968e434f9e634c1c5be27631163ab