Add irep IDs used by the security module

smowton · peterschrammel · commit a5ccbd9e5e98 · 2017-03-15T10:23:54.000Z
diff --git a/src/util/irep_ids.txt b/src/util/irep_ids.txt
@@ -804,4 +804,9 @@ cprover_string_to_lower_case_func
 cprover_string_to_upper_case_func
 cprover_string_trim_func
 cprover_string_value_of_func
-external_value_set external-value-set
+external_value_set
+access_path_entry
+access_path_label
+access_path_function
+access_path_loc
+declared_on_type
