Tweak -help text.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6230 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/PrismSettings.java

@@ -1141,7 +1141,6 @@ public class PrismSettings implements Observer
 		mainLog.println("-bpsor ......................... Use Backwards Pseudo SOR for numerical computation");
 		mainLog.println("-valiter ....................... Use value iteration for solving MDPs [default]");
 		mainLog.println("-politer ....................... Use policy iteration for solving MDPs");
-		mainLog.println("-linprog (or -lp) .............. Use LP solver for solving MDPs");
 		mainLog.println("-omega <x> ..................... Set over-relaxation parameter (for JOR/SOR/...) [default: 0.9]");
 		mainLog.println("-relative (or -rel) ............ Use relative error for detecting convergence [default]");
 		mainLog.println("-absolute (or -abs) ............ Use absolute error for detecting convergence");
@@ -1166,6 +1165,7 @@ public class PrismSettings implements Observer
 		mainLog.println("-exportadvmdp <file> ........... Export an adversary from MDP model checking (as an MDP)");
 		mainLog.println();
 		mainLog.println("MULTI-OBJECTIVE MODEL CHECKING:");
+		mainLog.println("-linprog (or -lp) .............. Use linear programming for multi-objective model checking");
 		mainLog.println("-multimaxpoints <n> ............ Maximal number of corner points for (valiter-based) multi-objective");
 		mainLog.println("-paretoepsilon <x> ............. Threshold for Pareto curve approximation");
 		mainLog.println("-exportpareto <file> ........... When computing Pareto curves, export points to a file");