diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-02-18 09:31:12 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-02-19 21:48:20 +0100 |
| commit | dd768bf1c623521b27d1b16ab50a7b80cbcf8b37 (patch) | |
| tree | b6f686e750447c27343bfd06e3bd7eb6172468a6 /executor | |
| parent | 833f78c7b023badf3ac188005adaf5fb1a20f56e (diff) | |
prog: reorder Minimize arguments
Make the predicate the last argument.
It's more common and convenient (arguments are not separated by multiple lines).
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions