From fe34c8e2e5d296c6f5ab9dac143d1e5ae1869907 Mon Sep 17 00:00:00 2001 From: Jonathan Reyes Date: Mon, 16 Dec 2019 11:18:13 -0500 Subject: [PATCH] Update WASI API C header file path (#717) The [previous link][1] was 404ing. [1]: https://github.com/CraneStation/wasi-libc/blob/master/libc-bottom-half/headers/public/wasi/core.h --- docs/WASI-documents.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/WASI-documents.md b/docs/WASI-documents.md index 156a7079f8..d1abcb6311 100644 --- a/docs/WASI-documents.md +++ b/docs/WASI-documents.md @@ -7,7 +7,7 @@ For more detail on what WASI is, see [the overview](WASI-overview.md). For specifics on the API, see the [API documentation](https://github.com/bytecodealliance/wasmtime/blob/master/docs/WASI-api.md). Additionally, a C header file describing the WASI API is -[here](https://github.com/CraneStation/wasi-libc/blob/master/libc-bottom-half/headers/public/wasi/core.h). +[here](https://github.com/CraneStation/wasi-libc/blob/master/libc-bottom-half/headers/public/wasi/api.h). The WASI libc repository is [wasi-libc](https://github.com/CraneStation/wasi-libc/).