update postcondition syntax

Signed-off-by: gregmarr <[email protected]>
gregmarr · Mar 20, 2024 · 7f39f96 · 7f39f96
1 parent 61deed8
commit 7f39f96
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/cpp2/expressions.md b/docs/cpp2/expressions.md
@@ -277,7 +277,7 @@ For example:
 
 ``` cpp title="Capture in contract postconditions" hl_lines="2"
 push_back: (coll, value)
-    [[post: coll.ssize() == coll.ssize()$ + 1]]
+    post(coll.ssize() == coll.ssize()$ + 1)
     //  Paste the value of `coll.ssize()`
 = {
     // ...