diff options
Diffstat (limited to 'driver/Driver.ml')
-rw-r--r-- | driver/Driver.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index 2cc409f5..d7c93641 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -63,7 +63,7 @@ let preprocess ifile ofile = let compile_c_file sourcename ifile ofile = (* Simplification options *) let simplifs = - "bec" (* blocks, impure exprs, implicit casts: mandatory *) + "becv" (* blocks, impure exprs, implicit casts, volatiles: mandatory *) ^ (if !option_fstruct_passing then "s" else "") ^ (if !option_fstruct_assign then "S" else "") ^ (if !option_fbitfields then "f" else "") in |