diff options
| author | Gaëtan Gilbert | 2017-09-27 17:09:56 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2017-10-10 23:50:25 +0200 |
| commit | 4e016b91f59d3bb13681a53c35fbf4a979140b83 (patch) | |
| tree | 4ead0448736109bc90dc8424666ed2bd50131c51 /Makefile.install | |
| parent | 74826c1869a423b4e7224d3f69180584bdef1726 (diff) | |
Stm.get_hint_ctx: remove unused Str.split
With suggest proof using out of the kernel the format of context_used
in .aux is just the list of ids wanted by get_hint_ctx.
(split x s when x doesn't appear in s just returns the singleton list [s])
Diffstat (limited to 'Makefile.install')
0 files changed, 0 insertions, 0 deletions