diff options
Diffstat (limited to 'src/sail.ml')
| -rw-r--r-- | src/sail.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sail.ml b/src/sail.ml index 00bff679..60dbc7ab 100644 --- a/src/sail.ml +++ b/src/sail.ml @@ -635,7 +635,7 @@ let main () = let ast, type_envs = if !opt_infer_effects then - let ast = Spec_analysis.infer_effects (Option.value !opt_target ~default:"") ast in + let ast = Spec_analysis.infer_effects ast in let _ = if reset_effect_checking then Type_check.opt_no_effects := true in Type_error.check Type_check.initial_env ast else ast, type_envs |