small fix

feliperodri · feliperodri · commit 260bc037cb07 · 2021-07-16T10:55:19.000-04:00
Signed-off-by: Felipe R. Monteiro &lt;felisous@amazon.com&gt;
diff --git a/src/solvers/flattening/boolbv.h b/src/solvers/flattening/boolbv.h
@@ -79,7 +79,7 @@ class boolbvt:public arrayst
     SUB::post_process();
   }
 
-  enum class unbounded_arrayt { U_NONE, U_ALL, U_AUTO };
+  enum class unbounded_arrayt { U_AUTO, U_ALL, U_AUTO };
   unbounded_arrayt unbounded_array;
 
   mp_integer get_value(const bvt &bv)

Original file line number	Diff line number	Diff line change
`@@ -79,7 +79,7 @@ class boolbvt:public arrayst`
`79`	`79`	`SUB::post_process();`
`80`	`80`	`}`
`81`	`81`
`82`		`- enum class unbounded_arrayt { U_NONE, U_ALL, U_AUTO };`
	`82`	`+ enum class unbounded_arrayt { U_AUTO, U_ALL, U_AUTO };`
`83`	`83`	`unbounded_arrayt unbounded_array;`
`84`	`84`
`85`	`85`	`mp_integer get_value(const bvt &bv)`