Merge pull request #409 from Jamesernator/main

Fix typo for deftype struct matching
WebAssembly · Jul 23, 2023 · 83b6948 · 83b6948
2 parents 6019487 + cab0de3
commit 83b6948
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/document/core/valid/matching.rst b/document/core/valid/matching.rst
@@ -1,4 +1,4 @@
-.. index:: ! matching, ! subtyping 
+.. index:: ! matching, ! subtyping
 .. _subtyping:
 .. _match:
 
@@ -124,7 +124,7 @@ A :ref:`heap type <syntax-heaptype>` :math:`\heaptype_1` matches a :ref:`heap ty
    \frac{
      \expanddt(\deftype) = \TSTRUCT~\X{st}
    }{
-     C \vdashheaptypematch \deftype \matchesheaptype \FUNC
+     C \vdashheaptypematch \deftype \matchesheaptype \STRUCT
    }
    \qquad
    \frac{