diff --git a/document/core/exec/runtime.rst b/document/core/exec/runtime.rst index 5bd6de2574..98d1d47de7 100644 --- a/document/core/exec/runtime.rst +++ b/document/core/exec/runtime.rst @@ -51,11 +51,12 @@ or *external references* pointing to an uninterpreted form of :ref:`extern addre .. _default-val: Each :ref:`value type ` has an associated *default value*; -it is the respective value :math:`0` for :ref:`number types ` and null for :ref:`reference types `. +it is the respective value :math:`0` for :ref:`number types `, :math:`0` for :ref:`vector types `, and null for :ref:`reference types `. .. math:: \begin{array}{lcl@{\qquad}l} \default_t &=& t{.}\CONST~0 & (\iff t = \numtype) \\ + \default_t &=& t{.}\CONST~0 & (\iff t = \vectype) \\ \default_t &=& \REFNULL~t & (\iff t = \reftype) \\ \end{array}