From 448f2f1e84fdddd9bd0df205698f62bca8c06af2 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 23 Feb 2016 11:28:17 +0100
Subject: [PATCH] hopefully really fix build *oops*

---
 barrier/client.v | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/barrier/client.v b/barrier/client.v
index 3db716f0f..5d8132fda 100644
--- a/barrier/client.v
+++ b/barrier/client.v
@@ -7,8 +7,7 @@ Definition client := (let: "b" := newchan '() in wait "b")%L.
 Section client.
   Context {Σ : iFunctorG} (N : namespace).
   Context `{heapG Σ} (heapN : namespace).
-  Context `{stsG heap_lang Σ barrier_proto.sts}.
-  Context `{savedPropG heap_lang Σ}.
+  Context `{inGF heap_lang Σ (stsGF sts)} `{inGF heap_lang Σ agreeF}.
 
   Local Notation iProp := (iPropG heap_lang Σ).
 
-- 
GitLab