From e1149ab0677317c6c981bcbb5e4c159e4d2b9669 Mon Sep 17 00:00:00 2001
From: Pat Hickey <pat@moreproductive.org>
Date: Tue, 18 Feb 2020 12:36:35 -0800
Subject: [PATCH] point at WASI with tagged unions merged into master

---
 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 7219c5a..85df508 160000
--- a/tools/wasi-headers/WASI
+++ b/tools/wasi-headers/WASI
@@ -1 +1 @@
-Subproject commit 7219c5a34470b04d033a8635c014f835d1b32c02
+Subproject commit 85df5085172a75f2a490a89833821c85cdbfaba7