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 fa8f990b..7da36dd9 100644 --- a/src/sail.ml +++ b/src/sail.ml @@ -176,9 +176,6 @@ let options = Arg.align ([ ( "-Oconstant_fold", Arg.Set Constant_fold.optimize_constant_fold, " apply constant folding optimizations"); - ( "-Oexperimental", - Arg.Set C_backend.optimize_experimental, - " turn on additional, experimental optimisations"); ( "-static", Arg.Set C_backend.opt_static, " make generated C functions static"); |