diff options
Diffstat (limited to 'toplevel/toplevel.mli')
| -rw-r--r-- | toplevel/toplevel.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/toplevel/toplevel.mli b/toplevel/toplevel.mli index 3f2fa83adb..8204660f2f 100644 --- a/toplevel/toplevel.mli +++ b/toplevel/toplevel.mli @@ -44,3 +44,7 @@ val do_vernac : unit -> unit (* Main entry point of Coq: read and execute vernac commands. *) val loop : unit -> unit + +(* hack to handle backtracking in CoqIde *) + +val current_status_triple : unit -> int * string list * int |