diff options
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 4e76551f..6ca46844 100644 --- a/src/sail.ml +++ b/src/sail.ml @@ -129,6 +129,9 @@ let main() = -> Parse_ast.Defs (ast_nodes@later_nodes)) parsed (Parse_ast.Defs []) in let (ast,kenv,ord) = convert_ast ast in let (ast,type_envs) = check_ast ast kenv ord in + +(* let ast = Monomorphise.split_defs [(("mips_insts.sail",1120),"width")] type_envs ast in*) + let ast = rewrite_ast ast in let out_name = match !opt_file_out with | None -> fst (List.hd parsed) |