diff options
Diffstat (limited to 'Build/source/utils/asymptote/prc/writePRC.h')
| -rw-r--r-- | Build/source/utils/asymptote/prc/writePRC.h | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/Build/source/utils/asymptote/prc/writePRC.h b/Build/source/utils/asymptote/prc/writePRC.h index 4795c7550a1..7a9313e45cb 100644 --- a/Build/source/utils/asymptote/prc/writePRC.h +++ b/Build/source/utils/asymptote/prc/writePRC.h @@ -25,9 +25,7 @@ #include <vector> #include <deque> #include <list> -#ifdef __GNUC__ -#include <ext/slist> -#endif + #include <map> #include <iostream> #include "PRCbitStream.h" @@ -224,11 +222,8 @@ class PRCAttribute : public PRCAttributeEntry void addKey(const PRCSingleAttribute &key) { attribute_keys.push_back(key); } std::deque<PRCSingleAttribute> attribute_keys; }; -#ifdef __GNUC__ -typedef __gnu_cxx::slist<PRCAttribute> PRCAttributeList; -#else + typedef std::list<PRCAttribute> PRCAttributeList; -#endif class PRCAttributes { |