diff options
Diffstat (limited to 'toplevel/obligations.mli')
| -rw-r--r-- | toplevel/obligations.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/toplevel/obligations.mli b/toplevel/obligations.mli index d39e18a480..40f124ca36 100644 --- a/toplevel/obligations.mli +++ b/toplevel/obligations.mli @@ -14,7 +14,6 @@ open Pp open Globnames open Vernacexpr open Decl_kinds -open Tacexpr (** Forward declaration. *) val declare_fix_ref : (?opaque:bool -> definition_kind -> Univ.universe_context -> Id.t -> |