diff --git a/src/ast/seq_decl_plugin.h b/src/ast/seq_decl_plugin.h
index 3298cd077..f28266c2b 100644
--- a/src/ast/seq_decl_plugin.h
+++ b/src/ast/seq_decl_plugin.h
@@ -413,7 +413,7 @@ public:
     public:
         struct info {
             /* Value is either undefined (known=l_undef) or defined and known (l_true) or defined but unknown (l_false)*/
-            bool known{ l_undef };
+            lbool known{ l_undef };
             /* No complement, no intersection, no difference, and no if-then-else is used. Reverse is allowed. */
             bool classical{ false };
             /* Boolean-reverse combination of classical regexes (using reverse, union, complement, intersection or difference). */