Changes

[IRC.git] / Robust / src / IR / MethodDescriptor.java

diff --git a/Robust/src/IR/MethodDescriptor.java b/Robust/src/IR/MethodDescriptor.java
index 88fa989d874a89289cec45d3341dad6edd5a272d..ae040bb57eacddf98a6145611996050057ada917 100644 (file)
--- a/Robust/src/IR/MethodDescriptor.java
+++ b/Robust/src/IR/MethodDescriptor.java
@@ -25,7 +25,7 @@ public class MethodDescriptor extends Descriptor {
        this.modifier=m;
        this.returntype=rt;
        this.identifier=identifier;
-        this.safename = "__" + name + "__";
+        this.safename = "___" + name + "___";
        this.uniqueid=count++;
        params=new Vector();
        paramtable=new SymbolTable();
@@ -37,7 +37,7 @@ public class MethodDescriptor extends Descriptor {
        this.modifier=m;
        this.returntype=null;
        this.identifier=identifier;
-        this.safename = "__" + name + "__";
+        this.safename = "___" + name + "___";
        this.uniqueid=count++;
        params=new Vector();
        paramtable=new SymbolTable();