From 56f8031965f55345243dad4afc16e3cff7301d24 Mon Sep 17 00:00:00 2001
From: Jacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org>
Date: Thu, 1 Mar 2018 16:10:53 +0100
Subject: [PATCH] Break a depedency.

---
 theories/heap_lang/adequacy.v | 1 -
 1 file changed, 1 deletion(-)

diff --git a/theories/heap_lang/adequacy.v b/theories/heap_lang/adequacy.v
index 51529438b..9c2869997 100644
--- a/theories/heap_lang/adequacy.v
+++ b/theories/heap_lang/adequacy.v
@@ -1,5 +1,4 @@
 From iris.program_logic Require Export weakestpre adequacy.
-From iris.heap_lang Require Export lifting.
 From iris.algebra Require Import auth.
 From iris.heap_lang Require Import proofmode notation.
 From iris.proofmode Require Import tactics.
-- 
GitLab