diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2017-02-22 13:36:04 +0100 |
|---|---|---|
| committer | Jiri Slaby <jirislaby@gmail.com> | 2017-02-22 13:38:52 +0100 |
| commit | 8cc3b11b853fb8a1870bb5945a042653f0c7f49f (patch) | |
| tree | 4cc9bff5172e066ed6e246a9f39479a30bd3bc9f /MetaSMT.mk | |
| parent | 62ee2e574b9f920e6679c91da25f8941552277d9 (diff) | |
| download | klee-8cc3b11b853fb8a1870bb5945a042653f0c7f49f.tar.gz | |
klee: remove use of deprecated 'register'
New compilers warn about using 'register' as follows: ConstantDivision.cpp:66:3: warning: 'register' storage class specifier is deprecated and incompatible with C++1z [-Wdeprecated-register] Remove the register specifier -- the compilers are clever enough to know what to do. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'MetaSMT.mk')
0 files changed, 0 insertions, 0 deletions