From 3bba52b91c2235d7b3ddd31eb70ed57cffa499ab Mon Sep 17 00:00:00 2001
From: Damien Doligez <damien.doligez-inria.fr>
Date: Thu, 20 May 2010 14:06:29 +0000
Subject: PR#4857: add -vnum option to all executables

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10444 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 driver/main_args.mli | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'driver/main_args.mli')

diff --git a/driver/main_args.mli b/driver/main_args.mli
index e0a7e2fa96..1c4abf5097 100644
--- a/driver/main_args.mli
+++ b/driver/main_args.mli
@@ -51,6 +51,7 @@ module type Bytecomp_options =
     val _use_runtime : string -> unit
     val _v : unit -> unit
     val _version : unit -> unit
+    val _vnum : unit -> unit
     val _verbose : unit -> unit
     val _w : string -> unit
     val _warn_error : string -> unit
@@ -82,6 +83,7 @@ module type Bytetop_options = sig
   val _strict_sequence : unit -> unit
   val _unsafe : unit -> unit
   val _version : unit -> unit
+  val _vnum : unit -> unit
   val _w : string -> unit
   val _warn_error : string -> unit
   val _warn_help : unit -> unit
@@ -133,6 +135,7 @@ module type Optcomp_options = sig
   val _unsafe : unit -> unit
   val _v : unit -> unit
   val _version : unit -> unit
+  val _vnum : unit -> unit
   val _verbose : unit -> unit
   val _w : string -> unit
   val _warn_error : string -> unit
@@ -177,6 +180,7 @@ module type Opttop_options = sig
   val _S : unit -> unit
   val _unsafe : unit -> unit
   val _version : unit -> unit
+  val _vnum : unit -> unit
   val _w : string -> unit
   val _warn_error : string -> unit
   val _warn_help : unit -> unit
-- 
cgit v1.2.1