diff --git a/src/org/rascalmpl/ideservices/BasicIDEServices.java b/src/org/rascalmpl/ideservices/BasicIDEServices.java
index 7a36e9d062d..b59ab0cc079 100644
--- a/src/org/rascalmpl/ideservices/BasicIDEServices.java
+++ b/src/org/rascalmpl/ideservices/BasicIDEServices.java
@@ -41,10 +41,6 @@ public BasicIDEServices(PrintWriter stderr, IRascalMonitor monitor){
     this.stderr = stderr;
     this.monitor = monitor;
   }
-  
-  public OutputStream getWrappedOutputStream() {
-    return monitor instanceof TerminalProgressBarMonitor ? ((OutputStream) monitor) : null;
-  }
 
   @Override
   public PrintWriter stderr() {
diff --git a/src/org/rascalmpl/shell/REPLRunner.java b/src/org/rascalmpl/shell/REPLRunner.java
index 7f3a3207c4e..cfa589f3cdc 100755
--- a/src/org/rascalmpl/shell/REPLRunner.java
+++ b/src/org/rascalmpl/shell/REPLRunner.java
@@ -49,11 +49,6 @@ private static ILanguageProtocol makeInterpreter(InputStream stdin, OutputStream
             new RascalInterpreterREPL(prettyPrompt, allowColors, getHistoryFile()) {
                 @Override
                 protected Evaluator constructEvaluator(InputStream input, OutputStream stdout, OutputStream stderr, IDEServices services) {
-                    if (services instanceof BasicIDEServices) {
-                        // TODO: find a better way to promote this wrapper to stdout
-                        stdout = ((BasicIDEServices) services).getWrappedOutputStream();
-                    }
-
                     Evaluator eval = ShellEvaluatorFactory.getDefaultEvaluator(input, stdout, stderr);
                     eval.setMonitor(services);
                     return eval;