file changes

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

diff --git a/Robust/src/IR/Descriptor.java b/Robust/src/IR/Descriptor.java
index 4439b1982c2953b9ca51d93d11b0115b9291949e..1691b9e46a071d513a7db8bc5da916c31a9876a0 100644 (file)
--- a/Robust/src/IR/Descriptor.java
+++ b/Robust/src/IR/Descriptor.java
@@ -36,8 +36,9 @@ public abstract class Descriptor {
   //the text replacement is done here because SOMEWHERE someone
   //modifies safename without going through the constructor...
   public String getSafeSymbol() {
-    return safename.replaceAll("\\.", "___________");
+    return safename;
   }
+
   public int getNum() {
     return uniqueid;
   }