From 5b128305347e1b8b8b19a608caf1e173dfff8172 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 12 Dec 2016 10:53:31 +0100
Subject: [PATCH] fix build

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

diff --git a/theories/heap_lang/lib/lock.v b/theories/heap_lang/lib/lock.v
index 422f8d8b5..67f133851 100644
--- a/theories/heap_lang/lib/lock.v
+++ b/theories/heap_lang/lib/lock.v
@@ -1,4 +1,4 @@
-From iris.heap_lang Require Export op_rules notation.
+From iris.heap_lang Require Export lifting notation.
 From iris.base_logic.lib Require Export invariants.
 
 Structure lock Σ `{!heapG Σ} := Lock {
-- 
GitLab