From a0aa9ed314f47dc2130c0ccf638ed7eb45a82f5f Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sun, 5 Mar 2017 10:44:55 +0100
Subject: [PATCH] fix comment in spawn.v
---
theories/lang/spawn.v | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/theories/lang/spawn.v b/theories/lang/spawn.v
index 93612750..17d92893 100644
--- a/theories/lang/spawn.v
+++ b/theories/lang/spawn.v
@@ -20,8 +20,8 @@ Definition finish : val :=
Definition join : val :=
rec: "join" ["c"] :=
if: !ˢᶜ"c" then
- let: "v" := !("c" +â‚— #1) in
(* The thread finished, we can non-atomically load the data. *)
+ let: "v" := !("c" +â‚— #1) in
Free #2 "c";;
"v"
else
--
GitLab