diff options
Diffstat (limited to 'ide/coq.mli')
-rw-r--r-- | ide/coq.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ide/coq.mli b/ide/coq.mli index f2876de24..ab8c12a6f 100644 --- a/ide/coq.mli +++ b/ide/coq.mli @@ -139,7 +139,6 @@ sig val bool_items : bool_descr list val set : t -> bool -> unit - val set_printing_width : int -> unit (** [enforce] transmits to coq the current option values. It is also called by [goals] and [evars] above. *) |