Add irep IDs

Until we figure out an alternative mechanism, it's only really practical for irep IDs to be added in the support branch.
smowton · Mar 8, 2017 · 885bedf · 885bedf
1 parent 7d57fda
commit 885bedf
Showing 1 changed file with 2 additions and 1 deletion.
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