Skip to content

Commit

Permalink
use T_UNINIT as lower bound for types
Browse files Browse the repository at this point in the history
Signed-off-by: Elazar Gershuni <[email protected]>
  • Loading branch information
elazarg committed Nov 24, 2024
1 parent e09c6a7 commit 26f7032
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/crab/type_encoding.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,7 @@ enum type_encoding_t {
T_SHARED = 0
};

constexpr type_encoding_t T_MIN = T_MAP_PROGRAMS;
constexpr type_encoding_t T_MIN = T_UNINIT;
constexpr type_encoding_t T_MAX = T_SHARED;

std::vector<type_encoding_t> iterate_types(type_encoding_t lb, type_encoding_t ub);
Expand Down

0 comments on commit 26f7032

Please sign in to comment.