start of new file

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

diff --git a/Robust/src/IR/VarDescriptor.java b/Robust/src/IR/VarDescriptor.java
index 42038b2a6bed570c510ea60bbc2cd2654183dbd7..17e81f00ae7a3130e0de360786cf980b09d37991 100644 (file)
--- a/Robust/src/IR/VarDescriptor.java
+++ b/Robust/src/IR/VarDescriptor.java
@@ -17,7 +17,7 @@ public class VarDescriptor extends Descriptor {
        super(identifier);
        this.td=t;
        this.identifier=identifier;
-        this.safename = "__" + name + "__";
+        this.safename = "___" + name + "___";
        this.uniqueid=count++;
     }