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