Grammar

2018-09-28 11:12:58 +01:00 · 2018-09-28 11:12:58 +01:00 · 3ae9d28d37
parent 34553f4752
commit 3ae9d28d37
1 changed files with 1 additions and 1 deletions
--- a/imperative/mc/preserve.md
+++ b/imperative/mc/preserve.md
@ -647,7 +647,7 @@ order.
    the option of serializing with set elements and dictionary keys in
    sorted order.

-Note that `header(3,3,m)` and `open(3,3)`/`close(3,3)` is unused and reserved.
+Note that `header(3,3,m)` and `open(3,3)`/`close(3,3)` are unused and reserved.

 ### SignedIntegers