From cef4f92e1b47663f74bc2cef83a7842449213f04 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Mon, 19 Mar 2018 10:10:15 +0100 Subject: [PATCH] typo in option help --- prism/src/prism/PrismCL.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java index e8a5ed30..67a552dc 100644 --- a/prism/src/prism/PrismCL.java +++ b/prism/src/prism/PrismCL.java @@ -2416,7 +2416,7 @@ public class PrismCL implements PrismModelListener mainLog.println("If provided, is a comma-separated list of options taken from:"); mainLog.println(" * csv - Export results as comma-separated values"); mainLog.println(" * matrix - Export results as one or more 2D matrices (e.g. for surface plots)"); - mainLog.println(" * comment - Export results in comment format for regerssion testing)"); + mainLog.println(" * comment - Export results in comment format for regression testing)"); } // -exportmodel else if (sw.equals("exportmodel")) {