diff src/plparser/NumberNode.java @ 6:563bcb96e4fa

pretty printer
author one
date Mon, 30 Aug 2010 12:35:23 +0900
parents b149a5aa465a
children
line wrap: on
line diff
--- a/src/plparser/NumberNode.java	Sun Aug 29 20:28:00 2010 +0900
+++ b/src/plparser/NumberNode.java	Mon Aug 30 12:35:23 2010 +0900
@@ -1,14 +1,14 @@
 package plparser;
 
 public class NumberNode extends Property {
-	int value;
+	double value;
 	
-	public NumberNode(int i) {
+	public NumberNode(double i) {
 		value = i;
 	}
 	
 	public String toString() {
 		return "Number "+value;
 	}
-	
+
 }