From 667e6dfe1dc304fa5b3925c9bac68cd1230df91a Mon Sep 17 00:00:00 2001
From: "Paolo G. Giarrusso"
Date: Fri, 16 Nov 2018 19:19:11 +0100
Subject: [PATCH] Fix missing argument in spec's pseudocode
Reading the code is tricky enough without such issues.
---
docs/docs/reference/changed/lazy-vals-spec.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/docs/reference/changed/lazy-vals-spec.md b/docs/docs/reference/changed/lazy-vals-spec.md
index 9a48ebab5fc2..a3228d92c17f 100644
--- a/docs/docs/reference/changed/lazy-vals-spec.md
+++ b/docs/docs/reference/changed/lazy-vals-spec.md
@@ -40,7 +40,7 @@ class Foo {
flag = LazyVals.get(this, bitmap_offset)
LazyVals.STATE(flag, ) match {
case =>
- if (LazyVals.CAS(this, bitmap_offset, flag, )) {
+ if (LazyVals.CAS(this, bitmap_offset, flag, , )) {
try result =
catch {
case ex =>