From ffb081713f2cd9e5353603f0ff3196933e33d03d Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 4 May 2007 09:32:47 +0000
Subject: [PATCH] get rid of map

---
 Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java | 3 +--
 Robust/src/Main/Main.java                               | 2 +-
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java b/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
index c6d17d80..23474145 100644
--- a/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
@@ -22,9 +22,8 @@ public class TaskAnalysis {
      *
      * @param state a flattened State object
      * @see State
-     * @param map Hashtable containing the temp to var mapping
      */
-    public TaskAnalysis(State state,Hashtable map)
+    public TaskAnalysis(State state)
     {
 	this.state=state;
 	this.typeutil=new TypeUtil(state);
diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 275091ce..b0ee390d 100644
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -105,7 +105,7 @@ public class Main {
       bf.buildFlat();
 
       if (state.TASKSTATE) {
-	  TaskAnalysis ta=new TaskAnalysis(state,bf.getMap());
+	  TaskAnalysis ta=new TaskAnalysis(state);
 	  ta.taskAnalysis();
       }
       
-- 
2.34.1