Update
diff --git a/spectec/doc/example/output/NanoWasm.pdf b/spectec/doc/example/output/NanoWasm.pdf index e1a6afd..07a992e 100644 --- a/spectec/doc/example/output/NanoWasm.pdf +++ b/spectec/doc/example/output/NanoWasm.pdf Binary files differ