@@ -491,11 +491,11 @@ } extern "C" void universe() { Command c("universe"); - Universe::print(); + Universe::print_on(tty); } extern "C" void verify() { // try to run a verify on the entire system