diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2018-09-02 13:23:19 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-10-26 22:41:04 +0100 |
| commit | 3e5e8f7d2c8004b4c452f3b74c9ba4dea78d9d80 (patch) | |
| tree | 780d7ecf73ac3125896ede72f89bbd0ed85fce82 /lib/Support | |
| parent | be340780e6261416320dd099753e17080de69534 (diff) | |
| download | klee-3e5e8f7d2c8004b4c452f3b74c9ba4dea78d9d80.tar.gz | |
llvm7: WriteBitcodeToFile takes Module &
Since llvm commit 06d6207c1c63, WriteBitcodeToFile accepts Module &, not Module *. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'lib/Support')
0 files changed, 0 insertions, 0 deletions