[util/irep_ids] Additional identifiers

romainbrenguier · romainbrenguier · commit 36d6e6d849d5 · 2017-10-28T16:14:47.000+01:00
diff --git a/src/util/irep_ids.def b/src/util/irep_ids.def
@@ -752,6 +752,8 @@ IREP_ID_ONE(exception_landingpad)
 IREP_ID_ONE(length_upper_bound)
 IREP_ID_ONE(string_constraint)
 IREP_ID_ONE(string_not_contains_constraint)
+IREP_ID_ONE(cprover_associate_array_to_pointer_func)
+IREP_ID_ONE(cprover_associate_length_to_array_func)
 IREP_ID_ONE(cprover_char_literal_func)
 IREP_ID_ONE(cprover_string_literal_func)
 IREP_ID_ONE(cprover_string_array_of_char_pointer_func)
