Fix stupid bug.

[pintos-anon] / src / tests / tests.pm

diff --git a/src/tests/tests.pm b/src/tests/tests.pm
index 4cec83d656cdd1da3aee01d04a85582e4e10816b..7d0777c4ff24b6d8b9861cd636731ca526f19a04 100644 (file)
--- a/src/tests/tests.pm
+++ b/src/tests/tests.pm
@@ -173,7 +173,6 @@ sub finish {
     seek ($msg_file, 0, 0);
     while (<$msg_file>) {
        $messages .= $_;
-       print "'$_'";
     }
     close ($msg_file);