diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2018-06-11 11:29:46 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2018-06-26 10:59:40 -0400 |
| commit | de7e941e4eafdc73f4d68c6cdbb8c49224e5a90b (patch) | |
| tree | 9168c30136f00431cecf2acf07e24cda3cb0d017 /src/test/incremental/thinlto | |
| parent | d6136837b770980c8fd271d43358afc455021d9b (diff) | |
| download | rust-de7e941e4eafdc73f4d68c6cdbb8c49224e5a90b.tar.gz rust-de7e941e4eafdc73f4d68c6cdbb8c49224e5a90b.zip | |
convert `prove_predicate` into a query
Diffstat (limited to 'src/test/incremental/thinlto')
0 files changed, 0 insertions, 0 deletions