From 253db39e54e2ae45f80d9c9fc7df7dd8c66a6483 Mon Sep 17 00:00:00 2001
From: Ng Zhi An <ngzhian@gmail.com>
Date: Mon, 4 Apr 2022 04:53:10 -0700
Subject: [PATCH] [spec] Fix missing mention of vectype (#1436)

Fixed #1435.
---
 document/core/binary/types.rst | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/document/core/binary/types.rst b/document/core/binary/types.rst
index f77da6eae0..4850573544 100644
--- a/document/core/binary/types.rst
+++ b/document/core/binary/types.rst
@@ -69,12 +69,13 @@ Reference Types
 Value Types
 ~~~~~~~~~~~
 
-:ref:`Value types <syntax-valtype>` are encoded with their respective encoding as a :ref:`number type <binary-numtype>` or :ref:`reference type <binary-reftype>`.
+:ref:`Value types <syntax-valtype>` are encoded with their respective encoding as a :ref:`number type <binary-numtype>`, :ref:`vector type <binary-vectype>`, or :ref:`reference type <binary-reftype>`.
 
 .. math::
    \begin{array}{llclll@{\qquad\qquad}l}
    \production{value type} & \Bvaltype &::=&
      t{:}\Bnumtype &\Rightarrow& t \\ &&|&
+     t{:}\Bvectype &\Rightarrow& t \\ &&|&
      t{:}\Breftype &\Rightarrow& t \\
    \end{array}