From 8a2ad9e3461124e98e44de2c895595834227b971 Mon Sep 17 00:00:00 2001
From: Owen Jones <owen.jones@diffblue.com>
Date: Mon, 20 Nov 2017 10:10:51 +0000
Subject: [PATCH] Rename ID_lvsa_mode to ID_lvsa_evs_type

---
 src/util/irep_ids.def | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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