diff options
| author | Christopher Pulte | 2016-10-13 20:29:01 +0100 |
|---|---|---|
| committer | Christopher Pulte | 2016-10-13 20:29:01 +0100 |
| commit | 07646a2dc731beb58d8ae79b5d08b5c04e698bfb (patch) | |
| tree | 3a46a36855772ffd16d0055cff1ea22195eb0953 /src/rewriter.ml | |
| parent | f89690f1d9780c58d8b645d95bdfb46e6b643870 (diff) | |
make sail-to-lem rewriting passes use dependency analysis, make dependency analysis include type information, small pp fix
Diffstat (limited to 'src/rewriter.ml')
| -rw-r--r-- | src/rewriter.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/rewriter.ml b/src/rewriter.ml index 155cfe2e..de551b6a 100644 --- a/src/rewriter.ml +++ b/src/rewriter.ml @@ -2096,7 +2096,8 @@ let rewrite_defs_remove_e_assign = } -let rewrite_defs_lem = +let rewrite_defs_lem = + top_sort_defs >> rewrite_defs_remove_vector_concat >> rewrite_defs_exp_lift_assign >> rewrite_defs_remove_blocks >> |