[tlo-parsing] Fix bug in TLO parser (#913)

VKCOM · Oct 9, 2023 · a98877f · a98877f
1 parent c8dc706
commit a98877f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/common/tlo-parsing/tlo-parser.cpp b/common/tlo-parsing/tlo-parser.cpp
@@ -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: {