Convert exec/types leftover

Wasm-DSL · Jun 1, 2024 · 35cb68f · 35cb68f
1 parent c29d540
commit 35cb68f
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/document/core/exec/types.rst b/document/core/exec/types.rst
@@ -25,8 +25,5 @@ Any form of :ref:`type <syntax-type>` can be *instantiated* into a :ref:`closed
 $${definition: inst_valtype}
 $${definition-ignore: inst_reftype}
 
-.. math::
-   \insttype_{\moduleinst}(t) = t[\subst \moduleinst.\MITYPES]
-
 .. note::
    This is the runtime equivalent to :ref:`type closure <type-closure>`.