diff --git a/prism/src/prism/PrismLog.java b/prism/src/prism/PrismLog.java
index f4a31bc4..d95002a7 100644
--- a/prism/src/prism/PrismLog.java
+++ b/prism/src/prism/PrismLog.java
@@ -43,7 +43,7 @@ public abstract class PrismLog
 	public abstract void print(String s);
 	public abstract void println();
 	
-	public void print(Object arr[])
+	public void print(double arr[])
 	{
 		int i, n = arr.length;
 		print("[");