1 files changed, 4 insertions, 3 deletions

diff --git a/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/src/org/eclipse/viatra/solver/data/map/internal/MapEntryIterator.java b/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/src/org/eclipse/viatra/solver/data/map/internal/MapEntryIterator.java
index 47976b46..e471af31 100644
--- a/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/src/org/eclipse/viatra/solver/data/map/internal/MapEntryIterator.java
+++ b/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/src/org/eclipse/viatra/solver/data/map/internal/MapEntryIterator.java
@@ -6,6 +6,8 @@ import java.util.Map;
 import java.util.Map.Entry;
 import java.util.NoSuchElementException;
 
+import org.eclipse.viatra.solver.data.map.VersionedMap;
+
 /**
  * Preorder iterator for map {@link #Node}s. 
  * 
@@ -16,9 +18,8 @@ import java.util.NoSuchElementException;
  */
 public class MapEntryIterator<KEY,VALUE> extends MapCursor<KEY, VALUE> implements Iterator<Map.Entry<KEY,VALUE>>{
 
-        
-        public MapEntryIterator(Node<KEY, VALUE> root) {
-                super(root);
+        public MapEntryIterator(Node<KEY, VALUE> root, VersionedMap<KEY,VALUE> map) {
+                super(root,map);
 
         }