diff options
| author | Thomas Bauereiss | 2017-07-26 10:39:49 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-07-26 10:39:49 +0100 |
| commit | eae4d12ad793809482252be0b459bb7e634b5482 (patch) | |
| tree | ee75d6384b1d42ad79e1bbc4f47d389cd697d04f /src/sail.ml | |
| parent | 0ea787cbb87e5508040d53b06bd812abc5acbb96 (diff) | |
| parent | 879ad3f2bb476abb03ad441de23efde9a9a70cd0 (diff) | |
Merge
Diffstat (limited to 'src/sail.ml')
| -rw-r--r-- | src/sail.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/sail.ml b/src/sail.ml index bb2fdaa5..3500b213 100644 --- a/src/sail.ml +++ b/src/sail.ml @@ -103,6 +103,9 @@ let options = Arg.align ([ ( "-dno_cast", Arg.Set opt_dno_cast, " (debug) typecheck without any implicit casting"); + ( "-no_effects", + Arg.Set Type_check.opt_no_effects, + " turn off effect checking"); ( "-v", Arg.Set opt_print_version, " print version"); |