From 7444ff5c5991ae722a63e6e2173d030843aa9419 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 15 Feb 2006 21:03:45 +0000
Subject: [PATCH] Change descriptors

---
 Robust/src/IR/FieldDescriptor.java | 2 +-
 Robust/src/IR/VarDescriptor.java   | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Robust/src/IR/FieldDescriptor.java b/Robust/src/IR/FieldDescriptor.java
index 33fe6eae..a0469d8f 100644
--- a/Robust/src/IR/FieldDescriptor.java
+++ b/Robust/src/IR/FieldDescriptor.java
@@ -29,6 +29,6 @@ public class FieldDescriptor extends Descriptor {
 	if (en==null)
 	    return modifier.toString()+td.toString()+" "+identifier+";";
 	else
-	    return modifier.toString()+td.toString()+" "+identifier+"="+en.printNode()+";";
+	    return modifier.toString()+td.toString()+" "+identifier+"="+en.printNode(0)+";";
     }
 }
diff --git a/Robust/src/IR/VarDescriptor.java b/Robust/src/IR/VarDescriptor.java
index f2ed53f2..fd007a55 100644
--- a/Robust/src/IR/VarDescriptor.java
+++ b/Robust/src/IR/VarDescriptor.java
@@ -25,8 +25,8 @@ public class VarDescriptor extends Descriptor {
 
     public String toString() {
 	if (en==null)
-	    return td.toString()+" "+identifier+";";
+	    return td.toString()+" "+identifier;
 	else
-	    return td.toString()+" "+identifier+"="+en.printNode()+";";
+	    return td.toString()+" "+identifier+"="+en.printNode(0);
     }
 }
-- 
2.34.1