diff options
| author | Alasdair Armstrong | 2019-11-06 15:23:55 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-11-06 15:23:55 +0000 |
| commit | 014176c1d2a5c6ae5d15c99e124dc55041d85ae2 (patch) | |
| tree | 2bb1ab815c72cd3c70fd48e4200a0cdb7c68211a /src/rewrites.ml | |
| parent | 03cda7bbb5dccd6d6be4bc9c5d11fcaef5031e18 (diff) | |
Add toplevel commands to fix specific register values and simply spec accordingly
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 ad0ed836..273c9eaf 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 target))); + ("constant_fold", String_rewriter (fun target -> Basic_rewriter (fun _ -> Constant_fold.rewrite_constant_function_calls Bindings.empty target))); ("split", String_rewriter (fun str -> Basic_rewriter (rewrite_split_fun_ctor_pats str))); ("properties", Basic_rewriter (fun _ -> Property.rewrite)); ] |