diff options
| author | Alasdair Armstrong | 2018-01-24 17:44:22 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-01-24 19:53:05 +0000 |
| commit | 10e2be330c14aaddbd8ada6b6ce8a8a63c7d605e (patch) | |
| tree | ac904feb95f86f0758b74804e632b4785b601acc /src/process_file.ml | |
| parent | cd81acaf58db3edc4187e4cccc35f6aa76d6933d (diff) | |
Have some simple sail programs compiling to C
Diffstat (limited to 'src/process_file.ml')
| -rw-r--r-- | src/process_file.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/process_file.ml b/src/process_file.ml index fc5e792f..ec280fbf 100644 --- a/src/process_file.ml +++ b/src/process_file.ml @@ -214,5 +214,6 @@ let rewrite_ast = rewrite [("initial", Rewriter.rewrite_defs)] let rewrite_undefined = rewrite [("undefined", fun x -> Rewrites.rewrite_undefined !Pretty_print_lem.opt_mwords x)] let rewrite_ast_lem = rewrite Rewrites.rewrite_defs_lem let rewrite_ast_ocaml = rewrite Rewrites.rewrite_defs_ocaml +let rewrite_ast_c = rewrite Rewrites.rewrite_defs_c let rewrite_ast_interpreter = rewrite Rewrites.rewrite_defs_interpreter let rewrite_ast_check = rewrite Rewrites.rewrite_defs_check |