remove macros as well

WebAssembly · Jul 20, 2023 · c5861b9 · c5861b9
1 parent abae54c
commit c5861b9
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/document/core/util/macros.def b/document/core/util/macros.def
@@ -1009,7 +1009,6 @@
 .. |matchesheaptype| mathdef:: \xref{valid/matching}{match-heaptype}{\leq}
 .. |matchesreftype| mathdef:: \xref{valid/matching}{match-reftype}{\leq}
 .. |matchesvaltype| mathdef:: \xref{valid/matching}{match-valtype}{\leq}
-.. |matchesstoragetype| mathdef:: \xref{valid/matching}{match-storagetype}{\leq}
 .. |matchesresulttype| mathdef:: \xref{valid/matching}{match-resulttype}{\leq}
 .. |matchesinstrtype| mathdef:: \xref{valid/matching}{match-instrtype}{\leq}
 .. |matchesfunctype| mathdef:: \xref{valid/matching}{match-functype}{\leq}
@@ -1080,7 +1079,6 @@
 .. |vdashheaptypematch| mathdef:: \xref{valid/matching}{match-heaptype}{\vdash}
 .. |vdashreftypematch| mathdef:: \xref{valid/matching}{match-reftype}{\vdash}
 .. |vdashvaltypematch| mathdef:: \xref{valid/matching}{match-valtype}{\vdash}
-.. |vdashstoragetypematch| mathdef:: \xref{valid/matching}{match-storagetype}{\vdash}
 .. |vdashresulttypematch| mathdef:: \xref{valid/matching}{match-resulttype}{\vdash}
 .. |vdashinstrtypematch| mathdef:: \xref{valid/matching}{match-instrtype}{\vdash}
 .. |vdashfunctypematch| mathdef:: \xref{valid/matching}{match-functype}{\vdash}