From c70d1da0dd35b58c4b2e611413c2f438e11bd878 Mon Sep 17 00:00:00 2001
From: Markus Alexander Kuppe <github.com@lemmster.de>
Date: Wed, 2 Feb 2022 12:06:47 -0800
Subject: [PATCH] 2.17 became the Theano bugfix release.

[Build]
---
 tlatools/org.lamport.tlatools/src/tlc2/TLCGlobals.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tlatools/org.lamport.tlatools/src/tlc2/TLCGlobals.java b/tlatools/org.lamport.tlatools/src/tlc2/TLCGlobals.java
index 035e7a424..f9adf1d3c 100644
--- a/tlatools/org.lamport.tlatools/src/tlc2/TLCGlobals.java
+++ b/tlatools/org.lamport.tlatools/src/tlc2/TLCGlobals.java
@@ -30,7 +30,7 @@ public class TLCGlobals
 	public static final int DEFAULT_CHECKPOINT_DURATION = (30 * 60 * 1000) + 42;
 
 	// The current version of TLC
-    public static String versionOfTLC = "Version 2.16 of Day Month 20??";
+    public static String versionOfTLC = "Version 2.18 of Day Month 20??";
     
     // The bound for set enumeration, used for pretty printing
     public static int enumBound = 2000;
-- 
GitLab