From 64a0c61fe2bf626c36728b396a04afabe599105a Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 6 Jul 2015 13:55:15 +0000
Subject: [PATCH] Tweak memory limits output to clarify it shows heap memory
 for java.

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

diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 8a5452c2..b83ec76a 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -1298,7 +1298,7 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 		} catch (java.net.UnknownHostException e) {
 		}
 		mainLog.print("Memory limits: cudd=" + getCUDDMaxMem());
-		mainLog.println(", java=" + PrismUtils.convertBytesToMemoryString(Runtime.getRuntime().maxMemory()));
+		mainLog.println(", java(heap)=" + PrismUtils.convertBytesToMemoryString(Runtime.getRuntime().maxMemory()));
 
 		// initialise cudd/jdd
 		long cuddMaxMem = PrismUtils.convertMemoryStringtoKB(getCUDDMaxMem());