From 6114e55e1a40f509ccdda42d4c73660bbb42b800 Mon Sep 17 00:00:00 2001
From: jzhou <jzhou>
Date: Thu, 4 Sep 2008 20:14:41 +0000
Subject: [PATCH] changes

---
 Robust/src/Benchmarks/MMG/Nor/Map.java | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/Robust/src/Benchmarks/MMG/Nor/Map.java b/Robust/src/Benchmarks/MMG/Nor/Map.java
index 7dd1972a..f056cd07 100755
--- 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
-- 
2.34.1