From 839ed4e80ca4dc068422c7c9fdb0c00e4ff1ebab Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 1 Apr 2019 13:44:54 +0200
Subject: Unify Set and Unset handling for options

Not sure if the idetop.set_options was correctly changed, ocaml types
pass at least.
---
 vernac/proof_using.mli | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'vernac/proof_using.mli')

diff --git a/vernac/proof_using.mli b/vernac/proof_using.mli
index 7d1110aaa2..702043a4a9 100644
--- a/vernac/proof_using.mli
+++ b/vernac/proof_using.mli
@@ -21,3 +21,6 @@ val suggest_constant : Environ.env -> Names.Constant.t -> unit
 val suggest_variable : Environ.env -> Names.Id.t -> unit
 
 val get_default_proof_using : unit -> Vernacexpr.section_subset_expr option
+
+val proof_using_opt_name : string list
+(** For the stm *)
-- 
cgit v1.2.3