From f2bbadf8f04253e87e5b4fbf095174a38c69c65e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roberto=20C=2E=20S=C3=A1nchez?= Date: Thu, 2 May 2024 17:02:07 -0400 Subject: [PATCH] fix typo (#86) (cherry picked from commit d01e2251b72bf3ef2c1924492d254ce80142feed) --- spec.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spec.html b/spec.html index 0f710bf..4558469 100644 --- a/spec.html +++ b/spec.html @@ -244,7 +244,7 @@

Non-terminals

string ::= int32 (byte*) unsigned_byte(0) - String - The int32 is the number bytes in the + String - The int32 is the number of bytes in the (byte*) plus one for the trailing null byte. The (byte*) is zero or more UTF-8 encoded characters. @@ -389,4 +389,4 @@

Notes

- \ No newline at end of file +