# HG changeset patch
# User Walther Neuper <wneuper@ist.tugraz.at>
# Date 1545221974 -3600
# Node ID ee17f1b81a7f921b4af665e4c22874d12471168a
# Parent  bdd3733fa7dbe37d5d074326eebff5fca5948b7a
tuned

diff -r bdd3733fa7db -r ee17f1b81a7f isac-java/src/java/isac/bridge/BridgeMain.java
--- a/isac-java/src/java/isac/bridge/BridgeMain.java	Wed Dec 19 12:51:51 2018 +0100
+++ b/isac-java/src/java/isac/bridge/BridgeMain.java	Wed Dec 19 13:19:34 2018 +0100
@@ -123,7 +123,7 @@
         String vers = "2018";
         
         JResources res = JResources.dumpIsabelleResources();
-        Setup setup = new Setup(path, JPlatform.guess(), new Version.Stable("2018"));
+        Setup setup = new Setup(path, JPlatform.guess(), new Version.Stable(vers));
         Environment env = JSetup.makeEnvironment(setup, res);
         //Configuration config = Configuration.fromBuiltin("libisabelle_Isac"); //fromBuiltin is undefined
         JSystem sys = JSystem.create(env, config);