Add ID_C_java_removed_virtual_call to irep defs

Matthias Güdemann · Matthias Güdemann · commit a9e2e519372d · 2018-02-13T17:19:59.000+01:00
diff --git a/src/util/irep_ids.def b/src/util/irep_ids.def
@@ -840,6 +840,7 @@ IREP_ID_TWO(type_variables, #type_variables)
 IREP_ID_ONE(havoc_object)
 IREP_ID_TWO(overflow_shl, overflow-shl)
 IREP_ID_TWO(C_no_initialization_required, #no_initialization_required)
+IREP_ID_TWO(C_java_removed_virtual_call, #java_removed_virtual_call)
 
 #undef IREP_ID_ONE
 #undef IREP_ID_TWO
