diff --git a/src/util/irep_ids.def b/src/util/irep_ids.def
index ed1ed7fa637f..eced92bd23a3 100644
--- 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