From c1a7e29ff45a58167fab5dd0d3954a7a1587e178 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 12 Jun 2018 18:41:40 +0200
Subject: [PATCH] remove unnecessary import

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

diff --git a/theories/heap_lang/lib/increment.v b/theories/heap_lang/lib/increment.v
index b3a5b4aed..938b2d6b2 100644
--- a/theories/heap_lang/lib/increment.v
+++ b/theories/heap_lang/lib/increment.v
@@ -1,4 +1,3 @@
-From iris.heap_lang Require Export lifting notation.
 From iris.base_logic.lib Require Export invariants.
 From iris.program_logic Require Export atomic.
 From iris.proofmode Require Import tactics.
-- 
GitLab