diff options
| author | Alasdair Armstrong | 2019-11-06 17:26:43 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-11-06 17:26:43 +0000 |
| commit | e77a9d4b81c042c3aeefbb54e2d2ce9e28ca2132 (patch) | |
| tree | 2f5bcfe7ea7bb4b519ed47bd1b18673e0eac59a4 /src/rewrites.ml | |
| parent | 014176c1d2a5c6ae5d15c99e124dc55041d85ae2 (diff) | |
Allow specifying specific fields of a register as constant with :fixed_registers command
Diffstat (limited to 'src/rewrites.ml')
| -rw-r--r-- | src/rewrites.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/rewrites.ml b/src/rewrites.ml index 273c9eaf..f953f9ba 100644 --- a/src/rewrites.ml +++ b/src/rewrites.ml @@ -4850,7 +4850,7 @@ let all_rewrites = [ ("simple_types", Basic_rewriter rewrite_simple_types); ("overload_cast", Basic_rewriter rewrite_overload_cast); ("top_sort_defs", Basic_rewriter (fun _ -> top_sort_defs)); - ("constant_fold", String_rewriter (fun target -> Basic_rewriter (fun _ -> Constant_fold.rewrite_constant_function_calls Bindings.empty target))); + ("constant_fold", String_rewriter (fun target -> Basic_rewriter (fun _ -> Constant_fold.(rewrite_constant_function_calls no_fixed target)))); ("split", String_rewriter (fun str -> Basic_rewriter (rewrite_split_fun_ctor_pats str))); ("properties", Basic_rewriter (fun _ -> Property.rewrite)); ] |