Implement --use-network option parser

[happyabc/happyabc.git] / link / cmdOpt.mli

diff --git a/link/cmdOpt.mli b/link/cmdOpt.mli
index fb9e444..e8bd895 100644 (file)
--- a/link/cmdOpt.mli
+++ b/link/cmdOpt.mli
@@ -3,6 +3,7 @@ class type t = object
   method size:int*int
   method main_class:string
   method output:string
+  method use_network:bool
 end
 
 val parse : string array -> string list * t