diff --git a/src/util/irep_ids.txt b/src/util/irep_ids.txt
index 9bcb7807671..645fa02c413 100644
--- a/src/util/irep_ids.txt
+++ b/src/util/irep_ids.txt
@@ -800,4 +800,5 @@ cprover_string_to_char_array_func
 cprover_string_to_lower_case_func
 cprover_string_to_upper_case_func
 cprover_string_trim_func
-cprover_string_value_of_func
\ No newline at end of file
+cprover_string_value_of_func
+external_value_set external-value-set