Fix null subtyping being wrong way around (WebAssembly#79)

dhil · Sep 12, 2022 · cb16e5a · cb16e5a
1 parent 5acd684
commit cb16e5a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/document/core/valid/matching.rst b/document/core/valid/matching.rst
@@ -106,7 +106,7 @@ A :ref:`reference type <syntax-reftype>` :math:`\REF~\NULL_1^?~heaptype_1` match
    \frac{
      C \vdashheaptypematch \heaptype_1 \matchesheaptype \heaptype_2
    }{
-     C \vdashreftypematch \REF~\NULL~\heaptype_1 \matchesreftype \REF~\NULL^?~\heaptype_2
+     C \vdashreftypematch \REF~\NULL^?~\heaptype_1 \matchesreftype \REF~\NULL~\heaptype_2
    }