diff options
Diffstat (limited to 'ide/coq.mli')
| -rw-r--r-- | ide/coq.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/coq.mli b/ide/coq.mli index c19fe7889..43a040822 100644 --- a/ide/coq.mli +++ b/ide/coq.mli @@ -99,7 +99,7 @@ val evars : handle -> Interface.evar list option Interface.value val hints : handle -> (Interface.hint list * Interface.hint) option Interface.value val inloadpath : handle -> string -> bool Interface.value val mkcases : handle -> string -> string list list Interface.value -val search : handle -> Interface.search_flags -> Interface.search_answer list Interface.value +val search : handle -> Interface.search_flags -> string Interface.coq_object list Interface.value (** A specialized version of [raw_interp] dedicated to set/unset options. *) |