From cd737eae2846333a393c7fe20d550faa262ad435 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 26 Apr 2023 00:02:01 +0200
Subject: [PATCH] Fix outdated version number in TranslationGlobals
This has stayed at 1.0.8 for the past 8 years. Oops.
---
src/main/java/de/tla2b/global/TranslationGlobals.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/java/de/tla2b/global/TranslationGlobals.java b/src/main/java/de/tla2b/global/TranslationGlobals.java
index 031c256..5ac0417 100644
--- a/src/main/java/de/tla2b/global/TranslationGlobals.java
+++ b/src/main/java/de/tla2b/global/TranslationGlobals.java
@@ -6,7 +6,7 @@ import java.util.Arrays;
import tla2sany.semantic.FrontEnd;
public interface TranslationGlobals {
- final String VERSION_NUMBER = "1.0.8";
+ final String VERSION_NUMBER = "1.1.5-SNAPSHOT";
final int TLCValueKind = 100;
--
GitLab