diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/src/org/eclipse/viatra/solver/data')
-rw-r--r-- | Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/src/org/eclipse/viatra/solver/data/map/internal/MutableNode.java | 2 |
1 files changed, 1 insertions, 1 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 4a276109..6e177d9f 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 | |||
@@ -338,7 +338,7 @@ public class MutableNode<KEY,VALUE> extends Node<KEY,VALUE> { | |||
338 | protected void updateHash() { | 338 | protected void updateHash() { |
339 | final int prime = 31; | 339 | final int prime = 31; |
340 | int result = 1; | 340 | int result = 1; |
341 | //result = prime * result + Arrays.deepHashCode(content); | 341 | result = prime * result + Arrays.deepHashCode(content); |
342 | this.cachedHash = result; | 342 | this.cachedHash = result; |
343 | } | 343 | } |
344 | 344 | ||