diff options
Diffstat (limited to 'toplevel/backtrack.mli')
| -rw-r--r-- | toplevel/backtrack.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/backtrack.mli b/toplevel/backtrack.mli index f6c69d890..bfd3c47a0 100644 --- a/toplevel/backtrack.mli +++ b/toplevel/backtrack.mli @@ -61,7 +61,7 @@ val reset_initial : unit -> unit (** Reset to the last known state just before defining [id] *) -val reset_name : Names.identifier Pp.located -> unit +val reset_name : Names.identifier Loc.located -> unit (** When a proof is ended (via either Qed/Admitted/Restart/Abort), old proof steps should be marked differently to avoid jumping back |