From 6fe9c8b7927b464a11e40ea38675efefbef096c4 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Wed, 25 Sep 2019 14:00:25 +0200
Subject: [PATCH] fix typo in message
---
src/main/java/de/tla2b/config/ConfigfileEvaluator.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/java/de/tla2b/config/ConfigfileEvaluator.java b/src/main/java/de/tla2b/config/ConfigfileEvaluator.java
index 2f3ac42..9c2c6f5 100644
--- a/src/main/java/de/tla2b/config/ConfigfileEvaluator.java
+++ b/src/main/java/de/tla2b/config/ConfigfileEvaluator.java
@@ -129,7 +129,7 @@ public class ConfigfileEvaluator {
&& this.specNode == null) {
throw new ConfigFileErrorException(
"The module contains variables."
- + " Hence there must be eather a SPECIFICATION or INIT declaration.");
+ + " Hence there must be either a SPECIFICATION or INIT declaration.");
}
evalInvariants();
--
GitLab