From 0fccdf33debd0a353db942482b0023963e81ffa0 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Mon, 25 Apr 2016 17:20:43 +0200
Subject: [PATCH] Fix wrong name in lock.

---
 heap_lang/lib/lock.v | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/heap_lang/lib/lock.v b/heap_lang/lib/lock.v
index 09bec1ec5..05a5dbdef 100644
--- a/heap_lang/lib/lock.v
+++ b/heap_lang/lib/lock.v
@@ -5,7 +5,8 @@ Import uPred.
 
 Definition newlock : val := λ: <>, ref #false.
 Definition acquire : val :=
-  rec: "lock" "l" := if: CAS '"l" #false #true then #() else '"lock" '"l".
+  rec: "acquire" "l" :=
+    if: CAS '"l" #false #true then #() else '"acquire" '"l".
 Definition release : val := λ: "l", '"l" <- #false.
 
 (** The CMRA we need. *)
-- 
GitLab