diff --git a/third-party/wasmi b/third-party/wasmi index db7d1762c..339c17f57 160000 --- a/third-party/wasmi +++ b/third-party/wasmi @@ -1 +1 @@ -Subproject commit db7d1762c4d6bc6505ca06ecfc1c28fd26abd881 +Subproject commit 339c17f5767776a21dd98a57265ded44ab2e717e