Merge branch 'master' into highprecision

nickbattle · Sep 16, 2024 · 4eb02aa · 4eb02aa
2 parents 4bf2a61 + a2746aa
commit 4eb02aa
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/lsp/src/main/java/lsp/LSPServer.java b/lsp/src/main/java/lsp/LSPServer.java
@@ -30,6 +30,7 @@
 import java.util.HashMap;
 import java.util.Map;
 
+import com.fujitsu.vdmj.Release;
 import com.fujitsu.vdmj.Settings;
 import com.fujitsu.vdmj.VDMJMain;
 import com.fujitsu.vdmj.lex.Dialect;
@@ -74,6 +75,7 @@ public LSPServer(Dialect dialect, InputStream inStream, OutputStream outStream)
 		Settings.dialect = dialect;
 		Settings.strict = Boolean.getBoolean("vdmj.strict");
 		Settings.verbose = Boolean.getBoolean("vdmj.verbose");
+		Settings.release = Release.lookup(System.getProperty("vdmj.release", "vdm10"));
 
 		LSPPlugin.getInstance();	// Creates all plugins
 	}