From cd9d4a5bcca654d7a629565f11bf562403e71b2f Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 22 Dec 2016 10:46:33 +0100
Subject: [PATCH] fix build

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

diff --git a/theories/heap_lang/adequacy.v b/theories/heap_lang/adequacy.v
index 295fe6a8a..cfc7e1b41 100644
--- a/theories/heap_lang/adequacy.v
+++ b/theories/heap_lang/adequacy.v
@@ -1,4 +1,4 @@
-From iris.program_logic Require Export weakestpre adequacy gen_heap.
+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.
-- 
GitLab