From 2d1afa7ba47e2806317c1e8c8ebd827c99145b71 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 23 Jan 2013 19:36:41 -0800
Subject: [PATCH] stash

---
 src/muz_qe/tab_context.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/muz_qe/tab_context.cpp b/src/muz_qe/tab_context.cpp
index dd0874734..e30ddb6ea 100644
--- a/src/muz_qe/tab_context.cpp
+++ b/src/muz_qe/tab_context.cpp
@@ -278,6 +278,7 @@ namespace tb {
         }
     };        
 
+
     // subsumption index structure.
     class index {
         ast_manager&           m;