diff options
| -rw-r--r-- | tools/dcpdiff.cc | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/dcpdiff.cc b/tools/dcpdiff.cc index ba42b61e..dda7c3c3 100644 --- a/tools/dcpdiff.cc +++ b/tools/dcpdiff.cc @@ -96,7 +96,6 @@ main (int argc, char* argv[]) exit (EXIT_FAILURE); } - cout << "reading A.\n"; DCP* a = 0; try { a = new DCP (argv[optind]); @@ -106,7 +105,6 @@ main (int argc, char* argv[]) exit (EXIT_FAILURE); } - cout << "reading B.\n"; DCP* b = 0; try { b = new DCP (argv[optind + 1]); |