Be more unixy and be quiet on success.

diff --git a/tools/dcpdiff.cc b/tools/dcpdiff.cc
index 17c1ff58a504e69f9b5713ed2982a835e521d4c3..025308e61d47ea2423325e1b7852882d1406d03c 100644 (file)
--- a/tools/dcpdiff.cc
+++ b/tools/dcpdiff.cc
@@ -95,7 +95,6 @@ main (int argc, char* argv[])
        }
 
        if (equals) {
-               cout << "DCPs equal\n";
                exit (EXIT_SUCCESS);
        }