From de620450f46f578a673d77fdac479467d41946c2 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Mon, 23 Feb 2009 23:10:35 +0000
Subject: [PATCH] Add a doubleValue() method

---
 Robust/src/ClassLibrary/Integer.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Robust/src/ClassLibrary/Integer.java b/Robust/src/ClassLibrary/Integer.java
index 0cc1bd90..c0439a9f 100644
--- a/Robust/src/ClassLibrary/Integer.java
+++ b/Robust/src/ClassLibrary/Integer.java
@@ -13,6 +13,10 @@ public class Integer {
     return value;
   }
 
+  public double doubleValue() {
+    return (double)value;
+  }
+
   public static int parseInt(String str) {
     return Integer.parseInt(str, 10);
   }
-- 
2.34.1