diff options
Diffstat (limited to 'plugins/extraction/table.mli')
| -rw-r--r-- | plugins/extraction/table.mli | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/plugins/extraction/table.mli b/plugins/extraction/table.mli index 158e33ec9..97c28b154 100644 --- a/plugins/extraction/table.mli +++ b/plugins/extraction/table.mli @@ -84,8 +84,7 @@ val add_info_axiom : global_reference -> unit val remove_info_axiom : global_reference -> unit val add_log_axiom : global_reference -> unit -val add_opaque_ok : global_reference -> unit -val add_opaque_ko : global_reference -> unit +val add_opaque : global_reference -> unit val remove_opaque : global_reference -> unit val reset_tables : unit -> unit |