Skip to content
Snippets Groups Projects
Commit 448f2f1e authored by Ralf Jung's avatar Ralf Jung
Browse files

hopefully really fix build *oops*

parent cf2cd8ee
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 2 deletions
barrier/client.v
+ 1
− 2
View file @ 448f2f1e
...@@ -7,8 +7,7 @@ Definition client := (let: "b" := newchan '() in wait "b")%L. ...@@ -7,8 +7,7 @@ Definition client := (let: "b" := newchan '() in wait "b")%L.
Section client. Section client.
Context {Σ : iFunctorG} (N : namespace). Context {Σ : iFunctorG} (N : namespace).
Context `{heapG Σ} (heapN : namespace). Context `{heapG Σ} (heapN : namespace).
Context `{stsG heap_lang Σ barrier_proto.sts}. Context `{inGF heap_lang Σ (stsGF sts)} `{inGF heap_lang Σ agreeF}.
Context `{savedPropG heap_lang Σ}.
Local Notation iProp := (iPropG heap_lang Σ). Local Notation iProp := (iPropG heap_lang Σ).
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment