diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2011-07-20 13:57:04 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2011-07-20 13:57:04 +0000 |
| commit | 405b61a9a9a1904425ea51041cc1bf07b08ca151 (patch) | |
| tree | 08f14b54d7b27fe178d4225e3711aed75014a35a /driver | |
| parent | 53021466e3f4573cce9046f160d956c48f562442 (diff) | |
restore alphabetical order
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11127 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/main_args.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/driver/main_args.ml b/driver/main_args.ml index e50504fe5..ca6258d4b 100644 --- a/driver/main_args.ml +++ b/driver/main_args.ml @@ -492,9 +492,9 @@ module type Optcomp_options = sig val _principal : unit -> unit val _rectypes : unit -> unit val _runtime_variant : string -> unit + val _S : unit -> unit val _strict_sequence : unit -> unit val _shared : unit -> unit - val _S : unit -> unit val _thread : unit -> unit val _unsafe : unit -> unit val _v : unit -> unit @@ -540,8 +540,8 @@ module type Opttop_options = sig val _nostdlib : unit -> unit val _principal : unit -> unit val _rectypes : unit -> unit - val _strict_sequence : unit -> unit val _S : unit -> unit + val _strict_sequence : unit -> unit val _unsafe : unit -> unit val _version : unit -> unit val _vnum : unit -> unit |