From d652155ae013f36a1ee17653a8e458baad2d9c2c Mon Sep 17 00:00:00 2001
From: Checkmate50 <dgeisler50@gmail.com>
Date: Mon, 6 Jun 2016 23:14:18 -0600
Subject: Merging complete.  Everything looks good *crosses fingers*

---
 Test/og/lock2.bpl.expect | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 Test/og/lock2.bpl.expect

(limited to 'Test/og/lock2.bpl.expect')

diff --git a/Test/og/lock2.bpl.expect b/Test/og/lock2.bpl.expect
deleted file mode 100644
index 05d394c7..00000000
--- a/Test/og/lock2.bpl.expect
+++ /dev/null
@@ -1,2 +0,0 @@
-
-Boogie program verifier finished with 5 verified, 0 errors
-- 
cgit v1.2.3