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.mli | |
| 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.mli')
| -rw-r--r-- | src/process_file.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/process_file.mli b/src/process_file.mli index 024a8239..d8a88624 100644 --- a/src/process_file.mli +++ b/src/process_file.mli @@ -57,7 +57,6 @@ val rewrite_undefined: Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs val rewrite_ast_lem : Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs val rewrite_ast_ocaml : Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs val rewrite_ast_interpreter : Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs -val rewrite_ast_sil : Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs val rewrite_ast_check : Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs val load_file_no_check : Ast.order -> string -> unit Ast.defs |