diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2018-05-21 15:14:41 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-10-26 15:54:24 +0100 |
| commit | b83344302ee86d4885f2481efe197b7ec087cdf6 (patch) | |
| tree | ae37182623fb3d88519e18576befa83d23203f8e /NEWS | |
| parent | c6cfd6d722089b1560fefbd5f97177c8117aadbd (diff) | |
| download | klee-b83344302ee86d4885f2481efe197b7ec087cdf6.tar.gz | |
llvm6: handle headers renaming
Some headers were moved from llvm/Target/ to llvm/CodeGen/. Handle that. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions