From 4f9826df484f67024e9ab78f9dda64dd85f545c5 Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Mon, 20 Sep 2021 16:03:06 +0200
Subject: [PATCH] fixed nasty copy/paste bug

---
 src/org/rascalmpl/ideservices/BasicIDEServices.java | 1 -
 src/org/rascalmpl/interpreter/Evaluator.java        | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/org/rascalmpl/ideservices/BasicIDEServices.java b/src/org/rascalmpl/ideservices/BasicIDEServices.java
index f9009ab0065..8334de5bda2 100644
--- 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
index 4694a179d2a..0b588bb20eb 100755
--- 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;