diff options
author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-07-26 19:13:17 +0100 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-07-26 19:13:17 +0100 |
commit | 57129f1a3131d660c1d41ebafc864daf98192274 (patch) | |
tree | ac6644d91c014feac5528a3996deb7c05a54b844 /lib/Basic/KTest.cpp | |
parent | ee2f1f37cb113324de04d840d42bbd891e9dfd19 (diff) | |
download | klee-57129f1a3131d660c1d41ebafc864daf98192274.tar.gz |
Now that LLVM 2.9 is gone, we can use cl::bits instead of cl::list
Diffstat (limited to 'lib/Basic/KTest.cpp')
0 files changed, 0 insertions, 0 deletions