From b9494fe3c01f445d9523975763b1736c882c1689 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sun, 17 Sep 2017 18:09:43 +0100
Subject: [PATCH] Tabs, whitespace

---
 src/smt/database.smt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/database.smt b/src/smt/database.smt
index 2f5e5e1c9..27955badf 100644
--- a/src/smt/database.smt
+++ b/src/smt/database.smt
@@ -11,7 +11,7 @@
    :formula (forall (a Int) (i Int) (e Int)  
                     (= (?select (?store a i e) i) e)
                     :pats { (?store a i e) }
-		    :weight { 0 })
+                    :weight { 0 })
 
    :formula (forall (a Int) (i Int) (j Int) (e Int)  
                     (or (= i j) (= (?select (?store a i e) j) (?select a j)))