Skip to content
Browse files

Merge pull request #9 from MarwanG/master

if zstart changed
  • Loading branch information...
2 parents c329402 + 5880387 commit 2853b7d7212270196e491d44d7a350d5db3b977d @fredokun committed Jul 3, 2013
Showing with 2 additions and 2 deletions.
  1. +2 −2 src/GParser.ml
View
4 src/GParser.ml
@@ -270,8 +270,8 @@ let parse_option (str:string) (i:int) =
in
(if (start > 1.0 || start < 0.0) then
raise (Option_Error (sprintf "incorrect zstart value %f => should be between 0 and 1" start))
- else
- global_options.zstart <- start);
+ else if not global_options.zstart_set then
+ global_options.zstart <- start);
advance str i' ";"
| _ -> raise (Parse_Error (sprintf "Uknown or unsupported option: %s" opt_id))

0 comments on commit 2853b7d

Please sign in to comment.
Something went wrong with that request. Please try again.