diff options
| author | Jon French | 2018-08-23 10:53:14 +0100 |
|---|---|---|
| committer | Jon French | 2018-08-23 11:11:29 +0100 |
| commit | e6b4776f43e99ce121d167fa42b80dfe090cf752 (patch) | |
| tree | 8bfb807f6f5b47ffc58fc798f59da6fbd113b15c /src/bytecode_util.ml | |
| parent | c34105a378a53ddd92f6af11702d0ee840cb8200 (diff) | |
Move vector_string_to_bit_list from its odd place in Rewriter.rewrite_pat to an explicit rewrite step in Rewrites, just before pat_lits
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions