Permalink
Browse files

zstart_set

  • Loading branch information...
1 parent ea67683 commit 4e8cb63d318fd95421d78e4755598881c8a99c92 @MarwanG MarwanG committed Jul 2, 2013
Showing with 3 additions and 0 deletions.
  1. +1 −0 src/Arbogen.ml
  2. +2 −0 src/Options.ml
View
@@ -140,6 +140,7 @@ Arg.parse [
exit 1;
)else(
global_options.zstart <- x;
+ global_options.zstart_set <- true;
)
),
"<x>: sets the value of zstart");
View
@@ -32,6 +32,7 @@ type options_record = {
mutable output_type: int;
mutable fileName: string;
mutable zstart: float;
+ mutable zstart_set: bool;
} ;;
let global_options = {
@@ -67,6 +68,7 @@ let global_options = {
output_type = 0;
fileName = "tree";
zstart = 0.0;
+ zstart_set = false;
} ;;
exception Option_Error of string ;;

0 comments on commit 4e8cb63

Please sign in to comment.