Add irep IDs

smowton · peterschrammel · commit 885bedff4a28 · 2017-03-08T18:30:11.000Z
Until we figure out an alternative mechanism, it's only really
practical for irep IDs to be added in the support branch.
diff --git 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
+cprover_string_value_of_func
+external_value_set external-value-set
