changes

diff --git a/Robust/src/Benchmarks/MMG/Nor/Map.java b/Robust/src/Benchmarks/MMG/Nor/Map.java
index 7dd1972a7d506821d10fce2ce3e99267557c5e5b..f056cd07af84fe6e689e4c056c5aa11e2f3e7bc7 100755 (executable)
--- a/Robust/src/Benchmarks/MMG/Nor/Map.java
+++ b/Robust/src/Benchmarks/MMG/Nor/Map.java
@@ -135,16 +135,6 @@ public class Map {
            t.m_leftLevels--;
            //System.printString("Pacman " + t.m_index + " hit, upgrade! " + t.m_leftLevels + "\n");
        }
-       if((!death) && (this.m_directions[t.m_index] == 0)) {
-           // the pacman stay still
-           // check if the pacman can not move any more
-           if(this.m_map[t.m_locX + t.m_locY * this.m_nrofblocks] == (1+2+4+8)) {
-               // no way to go out, dead
-               death = true;
-               t.m_death = true;
-               t.m_leftLives--;
-           }
-       }
        if(death) {
            if(t.isFinish()) {
                // pacman has no more lives or no more levels