Fix spec mistake in global validation

WebAssembly · Jun 6, 2018 · 9782879 · 9782879
1 parent 85ac00f
commit 9782879
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/document/core/valid/modules.rst b/document/core/valid/modules.rst
@@ -325,7 +325,7 @@ Exports :math:`\export` and export descriptions :math:`\exportdesc` are classifi
 
 .. math::
    \frac{
-     C.\CGLOBALS[x] = \ETGLOBAL~\globaltype
+     C.\CGLOBALS[x] = \globaltype
    }{
      C \vdashexportdesc \EDGLOBAL~x : \ETGLOBAL~\globaltype
    }