fixed nasty copy/paste bug

usethesource · Sep 20, 2021 · 4f9826d · 4f9826d
1 parent a17a950
commit 4f9826d
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/src/org/rascalmpl/ideservices/BasicIDEServices.java b/src/org/rascalmpl/ideservices/BasicIDEServices.java
@@ -15,7 +15,6 @@
 import java.awt.Desktop;
 import java.io.File;
 import java.io.IOException;
-import java.io.PrintStream;
 import java.io.PrintWriter;
 import java.net.URI;
 import java.nio.file.Path;

diff --git a/src/org/rascalmpl/interpreter/Evaluator.java b/src/org/rascalmpl/interpreter/Evaluator.java
@@ -1889,7 +1889,7 @@ public void registerDiagnostics(IList messages) {
         @Override
         public void unregisterDiagnostics(IList resources) {
             if (monitor instanceof IDEServices) {
-                ((IDEServices) monitor).registerDiagnostics(resources);
+                ((IDEServices) monitor).unregisterDiagnostics(resources);
             }
             else {
                 return;