Skip to content

Commit

Permalink
[tlo-parsing] Fix typo in tlo schema parser
Browse files Browse the repository at this point in the history
  • Loading branch information
artem committed Oct 4, 2023
1 parent 9c53778 commit d142ebc
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion common/tlo-parsing/tlo-parser.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -81,7 +81,8 @@ std::unique_ptr<type_expr_base> tlo_parser::read_type_expr() {
std::unique_ptr<nat_expr_base> tlo_parser::read_nat_expr() {
auto magic = get_value<unsigned int>();
switch (magic) {
case TL_TLS_EXPR_NAT: {
case TL_TLS_EXPR_NAT: // Legacy typo fix
case TL_TLS_NAT_CONST: {
return std::make_unique<nat_const>(this);
}
case TL_TLS_NAT_VAR: {
Expand Down

0 comments on commit d142ebc

Please sign in to comment.