diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java index a73ab349..d37895f0 100644 --- a/prism/src/prism/PrismCL.java +++ b/prism/src/prism/PrismCL.java @@ -2125,6 +2125,7 @@ public class PrismCL implements PrismModelListener mainLog.println("-nobuild ....................... Skip model construction (just do parse/export)"); mainLog.println("-test .......................... Enable \"test\" mode"); mainLog.println("-testall ....................... Enable \"test\" mode, but don't exit on error"); + mainLog.println("-javamaxmem .................... Set the maximum heap size for Java, e.g. 500m, 4g [default: 1g]"); mainLog.println(); mainLog.println("IMPORT OPTIONS:"); mainLog.println("-importpepa .................... Model description is in PEPA, not the PRISM language");