Browse files

Merge pull request #8 from MarwanG/master

zstart boolean
  • Loading branch information...
2 parents ea67683 + 4e8cb63 commit c3294025ab8426f1370c7aadff6f50d8ca90e22c @fredokun committed Jul 3, 2013
Showing with 3 additions and 0 deletions.
  1. +1 −0 src/Arbogen.ml
  2. +2 −0 src/Options.ml
View
1 src/Arbogen.ml
@@ -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
2 src/Options.ml
@@ -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 c329402

Please sign in to comment.