diff --git a/subcmds/forall.py b/subcmds/forall.py
index 478b3c7..8d701a6 100644
--- a/subcmds/forall.py
+++ b/subcmds/forall.py
@@ -145,7 +145,7 @@
 
     mirror = self.manifest.IsMirror
     out = ForallColoring(self.manifest.manifestProject.config)
-    out.redirect(sys.stderr)
+    out.redirect(sys.stdout)
 
     rc = 0
     first = True