From fc004646e0d013173326438d794b9edf7f510ba0 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 1 Sep 2020 16:14:31 +0200
Subject: [PATCH] Remove setting of prob.stdlib now that ProB 2 does it
automatically
---
src/main/java/de/prob2/jupyter/Main.java | 1 -
1 file changed, 1 deletion(-)
diff --git a/src/main/java/de/prob2/jupyter/Main.java b/src/main/java/de/prob2/jupyter/Main.java
index 62b561f..d5fee3b 100644
--- a/src/main/java/de/prob2/jupyter/Main.java
+++ b/src/main/java/de/prob2/jupyter/Main.java
@@ -215,7 +215,6 @@ public final class Main {
final String contents = String.join("\n", Files.readAllLines(connectionFile, StandardCharsets.UTF_8));
final JupyterConnection conn = new JupyterConnection(KernelConnectionProperties.parse(contents));
- System.setProperty("prob.stdlib", Paths.get(de.prob.Main.getProBDirectory(), "stdlib").toString());
final Injector injector = Guice.createInjector(Stage.PRODUCTION, new ProBKernelModule());
final ProBKernel kernel = injector.getInstance(ProBKernel.class);
kernel.becomeHandlerForConnection(conn);
--
GitLab