From 15c2d1ced3c27716cc0acb0ac9e7e667fc37be17 Mon Sep 17 00:00:00 2001
From: Joshua Yanovski <pythonsq@mpi-sws.org>
Date: Mon, 28 Aug 2017 13:23:29 +0200
Subject: [PATCH] Update lock.v

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

diff --git a/theories/heap_lang/lib/lock.v b/theories/heap_lang/lib/lock.v
index 5796f1f91..720dcc19a 100644
--- a/theories/heap_lang/lib/lock.v
+++ b/theories/heap_lang/lib/lock.v
@@ -26,8 +26,6 @@ Structure lock Σ `{!heapG Σ} := Lock {
     {{{ is_lock N γ lk R ∗ locked γ ∗ R }}} release lk {{{ RET #(); True }}}
 }.
 
-
-
 Arguments newlock {_ _} _.
 Arguments acquire {_ _} _.
 Arguments release {_ _} _.
-- 
GitLab