diff options
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 e7bf8d30..3c2d4a22 100644 --- a/src/process_file.ml +++ b/src/process_file.ml @@ -409,7 +409,7 @@ let rewrite_ast_ocaml env = rewrite env Rewrites.rewrite_defs_ocaml let rewrite_ast_c env ast = ast |> rewrite env Rewrites.rewrite_defs_c - |> rewrite env [("constant_fold", fun _ -> Constant_fold.rewrite_constant_function_calls)] + |> rewrite env [("constant_fold", fun _ -> Constant_fold.rewrite_constant_function_calls env)] let rewrite_ast_interpreter env = rewrite env Rewrites.rewrite_defs_interpreter let rewrite_ast_check env = rewrite env Rewrites.rewrite_defs_check |