diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2017-10-10 14:52:57 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-05-24 14:08:27 +0100 |
| commit | af65ed5d61cfc98468fcdd824d841fd5ad8ed70a (patch) | |
| tree | af21635968e1900697c63b0b8eaa3511646faec5 /lib/Core | |
| parent | a0cd85b41f02ce5c476612eec182aa1ff3e6fe2b (diff) | |
| download | klee-af65ed5d61cfc98468fcdd824d841fd5ad8ed70a.tar.gz | |
llvm37: handle getRegisteredOptions
In LLVM 3.7 and later, getRegisteredOptions takes no arguments and returns the map directly. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'lib/Core')
0 files changed, 0 insertions, 0 deletions