From 82bd0456dd8759789b4ddb5dc550df26ab53f2f9 Mon Sep 17 00:00:00 2001
From: Julien Cretin <cretin@google.com>
Date: Thu, 5 May 2022 17:09:47 +0200
Subject: [PATCH] Fix typo in global instance invariant

---
 document/core/exec/runtime.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/document/core/exec/runtime.rst b/document/core/exec/runtime.rst
index 5bd6de2574..5faaab4585 100644
--- a/document/core/exec/runtime.rst
+++ b/document/core/exec/runtime.rst
@@ -320,7 +320,7 @@ It records its :ref:`type <syntax-globaltype>` and holds an individual :ref:`val
 .. math::
    \begin{array}{llll}
    \production{(global instance)} & \globalinst &::=&
-     \{ \GITYPE~\valtype, \GIVALUE~\val \} \\
+     \{ \GITYPE~\globaltype, \GIVALUE~\val \} \\
    \end{array}
 
 The value of mutable globals can be mutated through :ref:`variable instructions <syntax-instr-variable>` or by external means provided by the :ref:`embedder <embedder>`.