Skip to content
This repository has been archived by the owner on Aug 17, 2022. It is now read-only.

Commit

Permalink
[spec] Fix Latex
Browse files Browse the repository at this point in the history
  • Loading branch information
rossberg committed Oct 25, 2017
1 parent 51fb7e3 commit 043aadd
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions document/core/appendix/embedding.rst
Original file line number Diff line number Diff line change
Expand Up @@ -372,8 +372,8 @@ Tables
.. _embed-size-table:

:math:`\F{size\_table}(\store, \tableaddr) : \i32`
..................................................
:math:`\F{size\_table}(\store, \tableaddr) : \X{i32}`
.....................................................

1. Assert: :math:`\store.\STABLES[\tableaddr]` exists.

Expand Down Expand Up @@ -498,8 +498,8 @@ Memories
.. _embed-size-mem:

:math:`\F{size\_mem}(\store, \memaddr) : \i32`
..............................................
:math:`\F{size\_mem}(\store, \memaddr) : \X{i32}`
.................................................

1. Assert: :math:`\store.\SMEMS[\memaddr]` exists.

Expand Down

0 comments on commit 043aadd

Please sign in to comment.