X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FClassLibrary%2FString.java;h=5bdaf0fb57aeba07838ef9b402ae098ca264bd50;hb=893067e927a111fd5003e231307380a2fed512bd;hp=6ae7fcfa93defc849f186d8b32cc3bd455f4c26d;hpb=08d0014341a158fc6d35132452c2eda5466796ac;p=IRC.git

diff --git a/Robust/src/ClassLibrary/String.java b/Robust/src/ClassLibrary/String.java
index 6ae7fcfa..5bdaf0fb 100644
--- a/Robust/src/ClassLibrary/String.java
+++ b/Robust/src/ClassLibrary/String.java
@@ -270,6 +270,10 @@ public class String {
     return new String(chararray);
   }
 
+  public static String valueOf(double x) {
+      return valueOf((long)x);
+  }
+
   public static String valueOf(long x) {
     int length=0;
     long tmp;