diff options
Diffstat (limited to 'toplevel/toplevel.mli')
| -rw-r--r-- | toplevel/toplevel.mli | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/toplevel/toplevel.mli b/toplevel/toplevel.mli index 8204660f2..3f2fa83ad 100644 --- a/toplevel/toplevel.mli +++ b/toplevel/toplevel.mli @@ -44,7 +44,3 @@ 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 |