Skip to content

Commit 2e722a3

Browse files
smowtonsmowton
committed
Merge branch 'sss_irep_ids' into sss_temporary_merge
2 parents ed2591c + d4b0dcf commit 2e722a3

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

‎src/util/irep_ids.txt

+2-1
Original file line numberDiff line numberDiff line change
@@ -800,4 +800,5 @@ cprover_string_to_char_array_func
800800
cprover_string_to_lower_case_func
801801
cprover_string_to_upper_case_func
802802
cprover_string_trim_func
803-
cprover_string_value_of_func
803+
cprover_string_value_of_func
804+
external_value_set external-value-set

0 commit comments

Comments
 (0)