Fix validation rules for table.set and table.grow in Overview.md (Web…

…Assembly#65)
bvisness · Aug 1, 2024 · 4d63201 · 4d63201
1 parent 9b84695
commit 4d63201
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/proposals/memory64/Overview.md b/proposals/memory64/Overview.md
@@ -175,7 +175,7 @@ have to support 32-bit memory addresses in their ABI.
  - ```
  C.tables[x] = it limits t
  ------------------------------
- C ⊦ table.set x : [it] → [t]
+ C ⊦ table.set x : [it t] → []
  ```
  - table.size x
  - ```
@@ -187,7 +187,7 @@ have to support 32-bit memory addresses in their ABI.
  - ```
  C.tables[x] = it limits t
  -------------------------------
- C ⊦ table.grow x : [it] → [it]
+ C ⊦ table.grow x : [t it] → [it]
  ```
  - table.fill x
  - ```