diff options
Diffstat (limited to 'ide/coq.mli')
| -rw-r--r-- | ide/coq.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ide/coq.mli b/ide/coq.mli index 5b5811392..662c6ccf2 100644 --- a/ide/coq.mli +++ b/ide/coq.mli @@ -49,7 +49,8 @@ val interp : coqtop -> ?raw:bool -> ?verbose:bool -> string -> string Interface.value val rewind : coqtop -> int -> int Interface.value val status : coqtop -> Interface.status Interface.value -val goals : coqtop -> Interface.goals Interface.value +val goals : coqtop -> Interface.goals option Interface.value +val evars : coqtop -> Interface.evar list option Interface.value val hints : coqtop -> (Interface.hint list * Interface.hint) option Interface.value val inloadpath : coqtop -> string -> bool Interface.value val mkcases : coqtop -> string -> string list list Interface.value |