diff options
| author | Alasdair Armstrong | 2018-01-18 19:43:25 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-01-18 20:01:19 +0000 |
| commit | 704ff871b9d0b875307a15252d8ec7fc90ef6de4 (patch) | |
| tree | 9907d98fa9111c0a035897e56865d7d0ff976849 /src/process_file.ml | |
| parent | 4baf8922637537e7f6594c79fdb00cf931f1232b (diff) | |
Clean up command line options slightly
Changed -mono-split to -mono_split to be consistent with other options
that use underscores, -mono-split still works but gives a warning
message, just so nothing breaks immediately because of this.
Removed this sil commands since they really don't do anything right
now.
Diffstat (limited to 'src/process_file.ml')
| -rw-r--r-- | src/process_file.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/process_file.ml b/src/process_file.ml index b3c231fe..5c13642f 100644 --- a/src/process_file.ml +++ b/src/process_file.ml @@ -215,5 +215,4 @@ let rewrite_undefined = rewrite [("undefined", fun x -> Rewrites.rewrite_undefin let rewrite_ast_lem = rewrite Rewrites.rewrite_defs_lem let rewrite_ast_ocaml = rewrite Rewrites.rewrite_defs_ocaml let rewrite_ast_interpreter = rewrite Rewrites.rewrite_defs_interpreter -let rewrite_ast_sil = rewrite Rewrites.rewrite_defs_sil let rewrite_ast_check = rewrite Rewrites.rewrite_defs_check |