Refresh the interpreter before QC, as the spec may have changed.

nickbattle · Oct 1, 2024 · 46befac · 46befac
1 parent 5cb5ff2
commit 46befac
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/quickcheck/src/main/java/quickcheck/plugin/QuickCheckLSPPlugin.java b/quickcheck/src/main/java/quickcheck/plugin/QuickCheckLSPPlugin.java
@@ -88,6 +88,7 @@ else if (CancellableThread.currentlyRunning() != null)
 		}
 
 		DAPPlugin manager = DAPPlugin.getInstance();
+		manager.refreshInterpreter();
 		Interpreter interpreter = manager.getInterpreter();
 
 		if (interpreter.getInitialContext() == null)	// eg. from unit tests