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;