From 8285162c3cbf43827dc5d1ca9b20e2f9b80e01c3 Mon Sep 17 00:00:00 2001
From: Margus Veanes <margus@microsoft.com>
Date: Fri, 21 Aug 2020 16:11:38 -0700
Subject: [PATCH] fixed type bug: bool to lbool

---
 src/ast/seq_decl_plugin.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast/seq_decl_plugin.h b/src/ast/seq_decl_plugin.h
index 3298cd07793..f28266c2b1b 100644
--- a/src/ast/seq_decl_plugin.h
+++ b/src/ast/seq_decl_plugin.h
@@ -413,7 +413,7 @@ class seq_util {
     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). */