From 32daff99f275e59ac9b559f24867b9159a009cd3 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Mon, 22 Feb 2016 22:52:32 +0100
Subject: [PATCH] Remove obsolute FIXME.

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

diff --git a/barrier/client.v b/barrier/client.v
index 5e888030c..29bd737be 100644
--- a/barrier/client.v
+++ b/barrier/client.v
@@ -1,7 +1,5 @@
 From barrier Require Import barrier.
 From program_logic Require Import auth sts saved_prop hoare ownership.
-(* FIXME This needs to be imported even though barrier exports it *)
-From heap_lang Require Import notation.
 Import uPred.
 
 Definition client := (let: "b" := newchan '() in wait "b")%L.
-- 
GitLab