diff options
Diffstat (limited to 'src/sail.ml')
| -rw-r--r-- | src/sail.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/sail.ml b/src/sail.ml index 7da36dd9..7416aac2 100644 --- a/src/sail.ml +++ b/src/sail.ml @@ -144,9 +144,6 @@ let options = Arg.align ([ ( "-c_no_rts", Arg.Set C_backend.opt_no_rts, " do not include the Sail runtime" ); - ( "-c_separate_execute", - Arg.Set Rewrites.opt_separate_execute, - " separate execute scattered function into multiple functions"); ( "-c_prefix", Arg.String (fun prefix -> C_backend.opt_prefix := prefix), "<prefix> prefix generated C functions" ); |