X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FIR%2FClassDescriptor.java;h=43923d0cff3830e103b83e33840300a2232723a0;hb=572a9a00bde2c31306b3e4c28300dd626aec2f20;hp=e218c79001e9624fee570f29c5333b6f9110cd0a;hpb=c5d0bc552121bf781fc50b23ca4521463d41e689;p=IRC.git

diff --git a/Robust/src/IR/ClassDescriptor.java b/Robust/src/IR/ClassDescriptor.java
index e218c790..43923d0c 100644
--- a/Robust/src/IR/ClassDescriptor.java
+++ b/Robust/src/IR/ClassDescriptor.java
@@ -130,7 +130,7 @@ public class ClassDescriptor extends Descriptor {
   }
 
   public String getSafeSymbol() {
-    return safename.replace(".","___________");
+    return safename.replace(".","___________").replace("$","___DOLLAR___");
   }
 
   public String printTree(State state) {