diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 14:08:26 -0700 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 17:39:17 -0700 |
| commit | cc364493808ba1453d6ea84124f16ace0e975194 (patch) | |
| tree | 084288b99a1b10295a457ba255709cf6de717e3a /Makefile | |
| parent | d6f8d78a31becd3c2c397bb1be8c9ad707d33371 (diff) | |
| download | klee-cc364493808ba1453d6ea84124f16ace0e975194.tar.gz | |
When building against libc++ (vs libstdcxx), use standard unordered_{map,set} includes.
- I'm not sure what the status of libstdcxx's c++11 support is. It may be we can just move over to <unordered_map> everywhere, but I don't have a Linux test machine handy at the moment.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions