diff options
Diffstat (limited to 'src/constant_fold.ml')
| -rw-r--r-- | src/constant_fold.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/constant_fold.ml b/src/constant_fold.ml index 1c273df1..c9314002 100644 --- a/src/constant_fold.ml +++ b/src/constant_fold.ml @@ -302,7 +302,7 @@ let rec rewrite_constant_function_calls' fixed target ast = rewriters_base with rewrite_exp = (fun _ -> rw_exp fixed target ok not_ok istate) } in - let ast = rewrite_defs_base rw_defs ast in + let ast = rewrite_ast_base rw_defs ast in (* We keep iterating until we have no more re-writes to do *) if !rewrite_count > 0 then rewrite_constant_function_calls' fixed target ast |