diff options
| author | Alasdair | 2018-06-21 03:19:11 +0100 |
|---|---|---|
| committer | Alasdair | 2018-06-29 23:45:31 +0100 |
| commit | 668ae1bc10fc1d9ea4d62ae0a2708a52cd83e211 (patch) | |
| tree | 3f461ebea3b8bf74b24b1491091d1f0b0b1d6e56 /src/process_file.ml | |
| parent | b5424eea9c13935680b4cd6b76a377ff524699cd (diff) | |
Constant folding improvements
Diffstat (limited to 'src/process_file.ml')
| -rw-r--r-- | src/process_file.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/process_file.ml b/src/process_file.ml index 9603e986..9ed52e8d 100644 --- a/src/process_file.ml +++ b/src/process_file.ml @@ -403,7 +403,7 @@ let rewrite_ast_ocaml = rewrite Rewrites.rewrite_defs_ocaml let rewrite_ast_c ast = ast |> rewrite Rewrites.rewrite_defs_c - |> Constant_fold.rewrite_constant_function_calls + |> rewrite [("constant_fold", Constant_fold.rewrite_constant_function_calls)] let rewrite_ast_interpreter = rewrite Rewrites.rewrite_defs_interpreter let rewrite_ast_check = rewrite Rewrites.rewrite_defs_check |