From 4c82350ca4fafca6ab1bf53f7e485c6733e39333 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 21 Jan 2021 23:35:04 -0800
Subject: [PATCH] na

---
 src/smt/seq_unicode.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/smt/seq_unicode.cpp b/src/smt/seq_unicode.cpp
index 5d8db27f8..77bbc9772 100644
--- a/src/smt/seq_unicode.cpp
+++ b/src/smt/seq_unicode.cpp
@@ -30,7 +30,6 @@ namespace smt {
         m_enabled = gparams::get_value("unicode") == "true";
     }
 
-
     struct seq_unicode::reset_bits : public trail<context> {
         seq_unicode& s;
         unsigned idx;