diff --git a/src/math/automata/symbolic_automata.h b/src/math/automata/symbolic_automata.h
index 6d7bc8290..5c2b4a2a4 100644
--- a/src/math/automata/symbolic_automata.h
+++ b/src/math/automata/symbolic_automata.h
@@ -141,6 +141,7 @@ private:
             curr_bv.pop_back();
         }
     }
+
 };