From d8423a4b461fa8a5a5a5a7650afa97eb3ad0cf1a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 26 Feb 2020 15:50:42 -0800
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/rewriter/seq_rewriter.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast/rewriter/seq_rewriter.cpp b/src/ast/rewriter/seq_rewriter.cpp
index b677eb0f0..14d5d4dfc 100644
--- a/src/ast/rewriter/seq_rewriter.cpp
+++ b/src/ast/rewriter/seq_rewriter.cpp
@@ -352,7 +352,7 @@ eautomaton* re2automaton::re2aut(expr* e) {
         TRACE("seq", display_expr1 disp(m); a->display(tout << "a:", disp); b->display(tout << "b:", disp); r->display(tout << "intersection:", disp););
         return r;
     }
-    else {
+    else {        
         TRACE("seq", tout << "not handled " << mk_pp(e, m) << "\n";);
     }