From 3d01a881eb95460e89c718ec9253d37713848a25 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 1 Mar 2016 19:31:56 +0100
Subject: [PATCH] forgot to ammend this...
---
barrier/specification.v | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/barrier/specification.v b/barrier/specification.v
index 5024c3b9a..462bcc64b 100644
--- a/barrier/specification.v
+++ b/barrier/specification.v
@@ -29,6 +29,6 @@ Proof.
- intros l P. apply ht_alt.
by rewrite -(wait_spec heapN N l P) wand_diag right_id.
- intros l P Q. apply vs_alt. rewrite -(recv_split heapN N N l P Q) //.
- - intros l P Q. apply recv_strengthen.
+ - intros l P Q. apply recv_weaken.
Qed.
End spec.
--
GitLab