From 8b1f8b04e98dba1670b61de336993d727ac3107b Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 5 Jan 2004 20:05:16 +0000
Subject: [PATCH] Random typos.

---
 Repair/RepairCompiler/MCC/IR/DotExpr.java     | 4 ++--
 Repair/RepairCompiler/MCC/IR/Termination.java | 6 ++----
 Repair/RepairCompiler/MCC/IR/Updates.java     | 2 +-
 3 files changed, 5 insertions(+), 7 deletions(-)

diff --git a/Repair/RepairCompiler/MCC/IR/DotExpr.java b/Repair/RepairCompiler/MCC/IR/DotExpr.java
index bf911bd..901b523 100755
--- a/Repair/RepairCompiler/MCC/IR/DotExpr.java
+++ b/Repair/RepairCompiler/MCC/IR/DotExpr.java
@@ -28,9 +28,9 @@ public class DotExpr extends Expr {
         this.left = left;
         this.field = field;
         this.index = index;
-
+        StructureTypeDescriptor struct = (StructureTypeDescriptor) left.getType();        
         FieldDescriptor fd = struct.getField(field);
-        LabelDescriptor ld = struct.getLabel(field);        
+        LabelDescriptor ld = struct.getLabel(field);
        if (ld != null) { /* label */
             assert fd == null;
             fieldtype = ld.getType(); // d.s ==> Superblock, while,  d.b ==> Block
diff --git a/Repair/RepairCompiler/MCC/IR/Termination.java b/Repair/RepairCompiler/MCC/IR/Termination.java
index bfbe8db..351f468 100755
--- a/Repair/RepairCompiler/MCC/IR/Termination.java
+++ b/Repair/RepairCompiler/MCC/IR/Termination.java
@@ -78,14 +78,12 @@ public class Termination {
 		if (ConcreteInterferes.interferes(mun,r,true)) {
 		    GraphNode scopenode=(GraphNode)scopesatisfy.get(r);
 		    GraphNode.Edge e=new GraphNode.Edge("interferes",scopenode);
-		    GraphNode gnconseq=(GraphNode)consequence.get(sn);
-		    gnconseq.addEdge(e);
+		    gn.addEdge(e);
 		}
 		if (ConcreteInterferes.interferes(mun,r,false)) {
 		    GraphNode scopenode=(GraphNode)scopefalsify.get(r);
 		    GraphNode.Edge e=new GraphNode.Edge("interferes",scopenode);
-		    GraphNode gnconseq=(GraphNode)consequence.get(sn);
-		    gnconseq.addEdge(e);
+		    gn.addEdge(e);
 		}
 	    }
 	}
diff --git a/Repair/RepairCompiler/MCC/IR/Updates.java b/Repair/RepairCompiler/MCC/IR/Updates.java
index 7e4dbd3..3f99fe2 100755
--- a/Repair/RepairCompiler/MCC/IR/Updates.java
+++ b/Repair/RepairCompiler/MCC/IR/Updates.java
@@ -42,7 +42,7 @@ class Updates {
 	    return ((VarExpr)leftexpr).getVar();
 	} else if (isField()) {
 	    return ((DotExpr)leftexpr).getField();
-	} else throw New Error("Unrecognized Update");
+	} else throw new Error("Unrecognized Update");
     }
 
     boolean isField() {
-- 
2.34.1