[#1187] more changes

diff --git a/src/lib/cc/data.cc b/src/lib/cc/data.cc
index 6fabf952df565265c34a8bdff46ffb53fabfb8b2..2f22e094e0bab77cc7d7fcf89d802d863b48b506 100644 (file)
--- a/src/lib/cc/data.cc
+++ b/src/lib/cc/data.cc
@@ -1177,8 +1177,7 @@ isEquivalent0(ConstElementPtr a, ConstElementPtr b, unsigned level) {
 
         // copy b into a list
         const size_t s = a->size();
-        typedef std::list<ConstElementPtr> ListType;
-        ListType l;
+        std::list<ConstElementPtr> l;
         for (size_t i = 0; i < s; ++i) {
             l.push_back(b->get(i));
         }