From bd78f3282f76c31a7579dc667732821a9aac889c Mon Sep 17 00:00:00 2001
From: Lasse Blaauwbroek
Date: Fri, 10 Apr 2020 19:02:07 +0200
Subject: Interleave commandline require/set/unset commands

---
 toplevel/ccompile.mli | 2 --
 1 file changed, 2 deletions(-)

(limited to 'toplevel/ccompile.mli')

diff --git a/toplevel/ccompile.mli b/toplevel/ccompile.mli
index eb66dbaafc..8c154488d0 100644
--- a/toplevel/ccompile.mli
+++ b/toplevel/ccompile.mli
@@ -17,5 +17,3 @@ val compile_files : Coqargs.t -> Coqcargs.t -> unit
 
 (** [do_vio opts] process [.vio] files in [opts] *)
 val do_vio : Coqargs.t -> Coqcargs.t -> unit
-
-val set_options : (Goptions.option_name * Coqargs.option_command) list -> unit
-- 
cgit v1.2.3