diff options
| -rw-r--r-- | tools/dcpdiff.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/dcpdiff.cc b/tools/dcpdiff.cc index 17c1ff58..025308e6 100644 --- 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); } |