1 files changed, 0 insertions, 66 deletions
diff --git a/driver/main_args.mli b/driver/main_args.mli
deleted file mode 100644
index 1233b51443..0000000000
--- a/driver/main_args.mli
+++ /dev/null
@@ -1,66 +0,0 @@
-(***********************************************************************)
-(*                                                                     *)
-(*                           Objective Caml                            *)
-(*                                                                     *)
-(*             Damien Doligez, projet Para, INRIA Rocquencourt         *)
-(*                                                                     *)
-(*  Copyright 1998 Institut National de Recherche en Informatique et   *)
-(*  en Automatique.  All rights reserved.  This file is distributed    *)
-(*  under the terms of the Q Public License version 1.0.               *)
-(*                                                                     *)
-(***********************************************************************)
-
-(* $Id$ *)
-
-module Make_options (F :
-    sig
-      val _a : unit -> unit
-      val _c : unit -> unit
-      val _cc : string -> unit
-      val _cclib : string -> unit
-      val _ccopt : string -> unit
-      val _custom : unit -> unit
-      val _dllib : string -> unit
-      val _dllpath : string -> unit
-      val _dtypes : unit -> unit
-      val _g : unit -> unit
-      val _i : unit -> unit
-      val _I : string -> unit
-      val _impl : string -> unit
-      val _intf : string -> unit
-      val _intf_suffix : string -> unit
-      val _labels : unit -> unit
-      val _linkall : unit -> unit
-      val _make_runtime : unit -> unit
-      val _noassert : unit -> unit
-      val _noautolink : unit -> unit
-      val _nolabels : unit -> unit
-      val _nostdlib : unit -> unit
-      val _o : string -> unit
-      val _output_obj : unit -> unit
-      val _pack : unit -> unit
-      val _pp : string -> unit
-      val _principal : unit -> unit
-      val _rectypes : unit -> unit
-      val _thread : unit -> unit
-      val _vmthread : unit -> unit
-      val _unsafe : unit -> unit
-      val _use_prims : string -> unit
-      val _use_runtime : string -> unit
-      val _v : unit -> unit
-      val _version : unit -> unit
-      val _verbose : unit -> unit
-      val _w : string -> unit
-      val _warn_error : string -> unit
-      val _where : unit -> unit
-
-      val _nopervasives : unit -> unit
-      val _dparsetree : unit -> unit
-      val _drawlambda : unit -> unit
-      val _dlambda : unit -> unit
-      val _dinstr : unit -> unit
-      val anonymous : string -> unit
-    end) :
-  sig
-    val list : (string * Arg.spec * string) list
-  end