1 files changed, 1 insertions, 4 deletions

diff --git a/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/src/org/eclipse/viatra/solver/data/map/internal/MutableNode.java b/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/src/org/eclipse/viatra/solver/data/map/internal/MutableNode.java
index c81bf36f..963ce111 100644
--- a/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/src/org/eclipse/viatra/solver/data/map/internal/MutableNode.java
+++ b/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/src/org/eclipse/viatra/solver/data/map/internal/MutableNode.java
@@ -383,10 +383,7 @@ public class MutableNode<KEY,VALUE> extends Node<KEY,VALUE> {
         
         
         protected void updateHash() {
-                final int prime = 31;
-                int result = 1;
-                result = prime * result + Arrays.deepHashCode(content);
-                this.cachedHash = result;
+                this.cachedHash = Arrays.hashCode(content);
         }
         
         @Override