From 45be506dc5727bf935dc4ce1727cfe07c8ca4850 Mon Sep 17 00:00:00 2001 From: Markus Alexander Kuppe <tlaplus.net@lemmster.de> Date: Tue, 18 Feb 2020 16:24:21 -0800 Subject: [PATCH] Location and name of tlaps/tlapm repository has changed. [Documentation][Toolbox] --- .../org/lamport/tla/toolbox/tool/prover/job/ProverJob.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/org.lamport.tla.toolbox.tool.prover/src/org/lamport/tla/toolbox/tool/prover/job/ProverJob.java b/org.lamport.tla.toolbox.tool.prover/src/org/lamport/tla/toolbox/tool/prover/job/ProverJob.java index e33ab434b..f2623c27c 100644 --- a/org.lamport.tla.toolbox.tool.prover/src/org/lamport/tla/toolbox/tool/prover/job/ProverJob.java +++ b/org.lamport.tla.toolbox.tool.prover/src/org/lamport/tla/toolbox/tool/prover/job/ProverJob.java @@ -497,13 +497,13 @@ public class ProverJob extends Job { && proverProcess.getExitValue() != 1) { return new Status(IStatus.ERROR, ProverUIActivator.PLUGIN_ID, - "Error running tlapm. Report a bug with the error code to the developers at https://tlaplus.codeplex.com/workitem/list/basic." + "Error running tlapm. Report a bug with the error code to the developers at https://github.com/tlaplus/tlapm/issues." + "\n \n Error code: " + proverProcess.getExitValue()); } } catch (DebugException e) { return new Status(IStatus.ERROR, ProverUIActivator.PLUGIN_ID, - "Error getting exit code for tlapm process. This is a bug. Report it to the developers at https://tlaplus.codeplex.com/workitem/list/basic"); + "Error getting exit code for tlapm process. This is a bug. Report it to the developers at https://github.com/tlaplus/tlapm/issues"); } // successful termination -- GitLab