From d7fc0deb2ca6d7ebee094b6ea5430d9b41f163ec Mon Sep 17 00:00:00 2001
From: Checkmate50 <dgeisler50@gmail.com>
Date: Mon, 6 Jun 2016 23:09:10 -0600
Subject: spacing change

---
 Test/z3api/bar1.bpl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Test/z3api/bar1.bpl b/Test/z3api/bar1.bpl
index 22d87f90..845954d5 100644
--- a/Test/z3api/bar1.bpl
+++ b/Test/z3api/bar1.bpl
@@ -1,4 +1,4 @@
- var x: int;
+var x: int;
 var y: int;
 
 procedure {:inline 1} bar()
-- 
cgit v1.2.3