From aa65fa1ea365e9d77da57b654ae7ca09f0184b93 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 10 Jun 2015 20:55:47 +0000 Subject: [PATCH] Fix documentation (-help xxx) about -exportmodel and -importmodel. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9988 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/PrismCL.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java index d85c11fa..d577218b 100644 --- a/prism/src/prism/PrismCL.java +++ b/prism/src/prism/PrismCL.java @@ -2206,7 +2206,7 @@ public class PrismCL implements PrismModelListener mainLog.println("Switch: -importmodel \n"); mainLog.println("Import the model directly from text file(s)."); mainLog.println("Use a list of file extensions to indicate which files should be read, e.g.:"); - mainLog.println("\n -importmodel in.tra,in.sta\n"); + mainLog.println("\n -importmodel in.tra,sta\n"); mainLog.println("Possible extensions are: .tra, .sta, .lab"); mainLog.println("Use extension .all to import all, e.g.:"); mainLog.println("\n -importmodel in.all\n"); @@ -2225,7 +2225,7 @@ public class PrismCL implements PrismModelListener mainLog.println("Switch: -exportmodel \n"); mainLog.println("Export the built model to file(s) (or to the screen if =\"stdout\")."); mainLog.println("Use a list of file extensions to indicate which files should be generated, e.g.:"); - mainLog.println("\n -exportmodel out.tra,out.sta\n"); + mainLog.println("\n -exportmodel out.tra,sta\n"); mainLog.println("Possible extensions are: .tra, .srew, .trew, .sta, .lab"); mainLog.println("Use extension .all to export all and .rew to export both .srew/.trew, e.g.:"); mainLog.println("\n -exportmodel out.all\n");