Skip to content
Snippets Groups Projects
Commit 2f38e713 authored by Markus Alexander Kuppe's avatar Markus Alexander Kuppe
Browse files

Fix typo in error message

[Refactor][Toolbox]
parent a2697cd0
No related branches found
No related tags found
No related merge requests found
...@@ -28,7 +28,6 @@ import org.lamport.tla.toolbox.util.UIHelper; ...@@ -28,7 +28,6 @@ import org.lamport.tla.toolbox.util.UIHelper;
* A wizard page input of the specification name and the location of the root file * A wizard page input of the specification name and the location of the root file
* *
* @author Simon Zambrovski * @author Simon Zambrovski
* @version $Id$
*/ */
public class NewSpecWizardPage extends WizardPage public class NewSpecWizardPage extends WizardPage
{ {
...@@ -297,7 +296,7 @@ public class NewSpecWizardPage extends WizardPage ...@@ -297,7 +296,7 @@ public class NewSpecWizardPage extends WizardPage
Spec existingSpec = Activator.getSpecManager().getSpecByName(specName); Spec existingSpec = Activator.getSpecManager().getSpecByName(specName);
if (existingSpec != null) if (existingSpec != null)
{ {
reportError("The specification with provided name is already exists \nand uses " reportError("The specification with provided name already exists \nand uses "
+ existingSpec.getRootFilename() + " as root module."); + existingSpec.getRootFilename() + " as root module.");
return; return;
} }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment