From 459ae406b2e262c1d0077eceaef84c28d538c714 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sun, 21 Feb 2010 21:40:49 +0000
Subject: [PATCH] Re-arrange of PrismLog code + methods to print arrays (fix).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1763 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/PrismLog.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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("[");