diff options
Diffstat (limited to 'tactics/auto.mli')
| -rw-r--r-- | tactics/auto.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tactics/auto.mli b/tactics/auto.mli index 83ad60bc3..fe59dc1e1 100644 --- a/tactics/auto.mli +++ b/tactics/auto.mli @@ -63,6 +63,8 @@ module Hint_db : val use_dn : t -> bool val transparent_state : t -> transparent_state val set_transparent_state : t -> transparent_state -> t + + val unfolds : t -> Idset.t * Cset.t end type hint_db_name = string |