Rename ID_lvsa_mode to ID_lvsa_evs_type

NathanJPhillips · Nov 20, 2017 · 8a2ad9e · 8a2ad9e
1 parent d8e1955
commit 8a2ad9e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/util/irep_ids.def b/src/util/irep_ids.def
@@ -842,7 +842,7 @@ IREP_ID_TWO(generic_types, #generic_types)
 IREP_ID_TWO(type_variables, #type_variables)
 IREP_ID_ONE(havoc_object)
 IREP_ID_TWO(overflow_shl, overflow-shl)
-IREP_ID_ONE(lvsa_mode)
+IREP_ID_ONE(lvsa_evs_type)
 IREP_ID_ONE(is_initializer)
 
 #undef IREP_ID_ONE