Changes in src/GenPoly/ErasableScopedMap.h [7f1be01:e9b5043]

File:

• src/GenPoly/ErasableScopedMap.h (modified) (2 diffs)

src/GenPoly/ErasableScopedMap.h

@@ -57 +57 @@
         /// Starts a new scope
         void beginScope() {
-                scopes.emplace_back();
+                Scope scope;
+                scopes.push_back(scope);
         }
 
@@ -144 +145 @@
                 public std::iterator< std::bidirectional_iterator_tag, value_type > {
         friend class ErasableScopedMap;
-        typedef typename Scope::iterator wrapped_iterator;
-        typedef typename ScopeList::size_type size_type;
+        typedef typename std::map< Key, Value >::iterator wrapped_iterator;
+        typedef typename std::vector< std::map< Key, Value > > scope_list;
+        typedef typename scope_list::size_type size_type;
 
         /// Checks if this iterator points to a valid item