Improvements to wasi-headers tool (#160)

[wasi-libc.git] / tools / wasi-headers / WASI

diff --git a/tools/wasi-headers/WASI b/tools/wasi-headers/WASI
index 8ff4e845d7baf48bf7cf7b6d9cc2a32a973da04e..04d4eba571dc1d6fe9ab129ea9343911bcc256dc 160000 (submodule)
--- a/tools/wasi-headers/WASI
+++ b/tools/wasi-headers/WASI
@@ -1 +1 @@
-Subproject commit 8ff4e845d7baf48bf7cf7b6d9cc2a32a973da04e
+Subproject commit 04d4eba571dc1d6fe9ab129ea9343911bcc256dc