diff options
| author | Sean Griffin <sean@seantheprogrammer.com> | 2018-03-06 09:02:35 -0700 |
|---|---|---|
| committer | Sean Griffin <sean@seantheprogrammer.com> | 2018-03-23 13:18:50 -0600 |
| commit | 26cebda208690a245a09ea939d97e0dbced0b2a0 (patch) | |
| tree | c59bb81309b6e42b25a6bf596ef672c36f760be8 /src/rustllvm/RustWrapper.cpp | |
| parent | 5ecefc55c1795c0365972a6c70fa17663833bd7f (diff) | |
| download | rust-26cebda208690a245a09ea939d97e0dbced0b2a0.tar.gz rust-26cebda208690a245a09ea939d97e0dbced0b2a0.zip | |
Revert "change skolemizations to use universe index"
This reverts commit 35e78b5cddc04c6bd13da2a1290d27cfb8ae8db8.
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions