diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2017-06-15 15:03:29 +0200 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-06-16 15:40:50 +0100 |
| commit | c5059debfd910edabcbc2fc847d21c9e50c5afe1 (patch) | |
| tree | 564ee5596349879a0dda633e97e4f1bd43982273 /lib/Solver | |
| parent | 4359b5fd1ce7069b7cdf20f31fee8817705c07b3 (diff) | |
| download | klee-c5059debfd910edabcbc2fc847d21c9e50c5afe1.tar.gz | |
llvm37: introduce type for PassManager
In LLVM 3.7, PassManager was moved to the legacy:: namespace. Introduce a type for it and use it in the code. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'lib/Solver')
0 files changed, 0 insertions, 0 deletions