Bumped Iris

635d5a67 · Jonas Kastberg Hinrichsen · 405f577c · 635d5a67
Commit 635d5a67 authored Apr 12, 2019 by Jonas Kastberg Hinrichsen
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

theories/channel.v theories/channel.v +2 -2

No files found.
--- a/theories/channel.v
+++ b/theories/channel.v
@@ -12,8 +12,8 @@ Import uPred.

 Definition new_chan : val :=
  λ: <>,
-     let: "l" := ref lnil #() in
-     let: "r" := ref lnil #() in
+     let: "l" := ref (lnil #()) in
+     let: "r" := ref (lnil #()) in
     let: "lk" := newlock #() in
     (("l","r"),"lk").