diff options
| author | Hristina Palikareva <h.palikareva@imperial.ac.uk> | 2014-12-02 18:48:51 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-12-02 18:57:05 +0000 |
| commit | d0f8c9ee4140689043ff5857f5283f6b0d22cbdc (patch) | |
| tree | af7ffaa3de764a01b29180ed3ba359f33181f920 /.travis | |
| parent | 46abe43b291d8386666062e18faa72cee354b04c (diff) | |
| download | klee-d0f8c9ee4140689043ff5857f5283f6b0d22cbdc.tar.gz | |
Unbreak compilation (in metaSMT configuration) by preventing the #define
unordered_map and unordered_set from leaking out into other compilation units. This should be removed entirely when C++11 support lands.
Diffstat (limited to '.travis')
0 files changed, 0 insertions, 0 deletions