From d810ccc9218660acc2cbb25cb4d41a8d93486c19 Mon Sep 17 00:00:00 2001 From: Sander Date: Tue, 9 Jun 2020 14:32:14 +0000 Subject: [PATCH] Apply 1 suggestion(s) to 1 file(s) --- gitlab-pages/docs/reference/bitwise.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gitlab-pages/docs/reference/bitwise.md b/gitlab-pages/docs/reference/bitwise.md index 8f564493c..3e4176cae 100644 --- a/gitlab-pages/docs/reference/bitwise.md +++ b/gitlab-pages/docs/reference/bitwise.md @@ -108,7 +108,7 @@ let two: nat = Bitwise.xor 2n 1n ```reasonligo -let two: nat = Bitwise.xor(2n, 1n); +let three: nat = Bitwise.xor(2n, 1n); ```