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