From 0c4b1660241be828aab9aae783d801208e12c6bb Mon Sep 17 00:00:00 2001 From: Vesa Karvonen Date: Thu, 6 Apr 2023 07:17:28 +0300 Subject: [PATCH] Grammar --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 1ad0678e..26c34ac5 100644 --- a/README.md +++ b/README.md @@ -1517,7 +1517,7 @@ val a : int Loc.t = val b : int Loc.t = ``` -And create helper that spawns a domain that repeatedly increments `a` and +And create a helper that spawns a domain that repeatedly increments `a` and decrements `b` in a transaction: ```ocaml