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 eb26c60352..5b58113928 100644 --- a/ide/coq.mli +++ b/ide/coq.mli @@ -68,5 +68,5 @@ sig val existential : t val universes : t - val set : coqtop -> t -> bool -> unit Interface.value + val set : coqtop -> (t * bool) list -> unit end |