diff options
Diffstat (limited to 'plugins/rtauto/refl_tauto.mli')
| -rw-r--r-- | plugins/rtauto/refl_tauto.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/plugins/rtauto/refl_tauto.mli b/plugins/rtauto/refl_tauto.mli index 092552364..c01e63505 100644 --- a/plugins/rtauto/refl_tauto.mli +++ b/plugins/rtauto/refl_tauto.mli @@ -7,6 +7,8 @@ (************************************************************************) (* raises Not_found if no proof is found *) +open API + type atom_env= {mutable next:int; mutable env:(Term.constr*int) list} |