diff --git a/src/ast/seq_decl_plugin.h b/src/ast/seq_decl_plugin.h
index f28266c2b..7013a3798 100644
--- a/src/ast/seq_decl_plugin.h
+++ b/src/ast/seq_decl_plugin.h
@@ -482,7 +482,7 @@ public:
             info compl() const;
             info concat(info & rhs, bool lhs_is_concat) const;
             info disj(info& rhs) const;
-            info conj(info& rhs) const;
+            info conj(info& rhs) const; 
             info diff(info& rhs) const;
             info orelse(info& rhs) const;
             info loop(unsigned lower) const;