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;