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