Skip to content

Commit 0fede95

Browse files
shymjmid
authored andcommitted
Fix an erroneously moved line
1 parent d2e0f02 commit 0fede95

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

doc/stm/index.mld

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -408,9 +408,9 @@ end = struct
408408

409409
let add a t =
410410
Mutex.lock t.mutex;
411+
if not (mem_non_lock a t) then begin
411412
t.content <- a :: t.content;
412413
t.cardinal <- t.cardinal + 1;
413-
if not (mem_non_lock a t) then begin
414414
end;
415415
Mutex.unlock t.mutex
416416

0 commit comments

Comments
 (0)