diff options
Diffstat (limited to 'ide/coq.mli')
| -rw-r--r-- | ide/coq.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ide/coq.mli b/ide/coq.mli index a0f192c019..f168aff809 100644 --- a/ide/coq.mli +++ b/ide/coq.mli @@ -112,5 +112,6 @@ sig val existential : t val universes : t + val set_printing_width : int -> unit val set : handle -> (t * bool) list -> unit end |