From 4f03c9bbe7b2f2b7fb9f9a8274888b06a8d34397 Mon Sep 17 00:00:00 2001 From: Pat Hickey Date: Thu, 6 Feb 2020 13:19:58 -0800 Subject: [PATCH] WASI: tagged unions PR wip --- tools/wasi-headers/WASI | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/wasi-headers/WASI b/tools/wasi-headers/WASI index 491b1bf..868340e 160000 --- a/tools/wasi-headers/WASI +++ b/tools/wasi-headers/WASI @@ -1 +1 @@ -Subproject commit 491b1bffea31ae66a028ef6ad394f65d6562a040 +Subproject commit 868340e220b48a2bdd59e9db6eda33de115f21d6