Skip to content

Commit 2898781

Browse files
committed
Fix formatting of CONS fate instruction doc
1 parent 1f97545 commit 2898781

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

contracts/fate.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -447,7 +447,7 @@ Writing to the accumulator pushes a value to the stack.
447447
| `MAP_SIZE` | Arg0 Arg1 | Arg0 := The size of the map Arg1. | {map} | integer | `FATE_01` |
448448
| `MAP_TO_LIST` | Arg0 Arg1 | Arg0 := The tuple list representation of the map Arg1. | {map} | list | `FATE_01` |
449449
| `IS_NIL` | Arg0 Arg1 | Arg0 := true if Arg1 == []. | {list} | boolean | `FATE_01` |
450-
| `CONS` | Arg0 Arg1 Arg2 | Arg0 := [Arg1|Arg2]. | {any,list} | list | `FATE_01` |
450+
| `CONS` | Arg0 Arg1 Arg2 | Arg0 := [Arg1] ++ Arg2. | {any,list} | list | `FATE_01` |
451451
| `HD` | Arg0 Arg1 | Arg0 := head of list Arg1. | {list} | any | `FATE_01` |
452452
| `TL` | Arg0 Arg1 | Arg0 := tail of list Arg1. | {list} | list | `FATE_01` |
453453
| `LENGTH` | Arg0 Arg1 | Arg0 := length of list Arg1. | {list} | integer | `FATE_01` |

0 commit comments

Comments
 (0)