diff --git a/tools/wasi-headers/WASI b/tools/wasi-headers/WASI index 7219c5a34..85df50851 160000 --- a/tools/wasi-headers/WASI +++ b/tools/wasi-headers/WASI @@ -1 +1 @@ -Subproject commit 7219c5a34470b04d033a8635c014f835d1b32c02 +Subproject commit 85df5085172a75f2a490a89833821c85cdbfaba7