diff options
author | Richard Trembecký <richardt@centrum.sk> | 2016-05-04 15:21:45 +0200 |
---|---|---|
committer | MartinNowack <martin.nowack@gmail.com> | 2018-07-12 23:25:49 +0100 |
commit | 2868f6a64cae3a11db3282247253a7a9556ee5a8 (patch) | |
tree | 35f606883cecf452e818fcc960ed78f451fc8b0f /test | |
parent | 9968c00bdd7626249b6bd3f4df3f00da7406b0c1 (diff) | |
download | klee-2868f6a64cae3a11db3282247253a7a9556ee5a8.tar.gz |
llvm38: no more implicit iterators
LLVM commit eac309550f25 removed implicit iterator conversions. So we have to get the iterators explicitly now. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions