diff options
Diffstat (limited to 'tools/dcpdiff.cc')
| -rw-r--r-- | tools/dcpdiff.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/dcpdiff.cc b/tools/dcpdiff.cc index e7b4f59f..3f19ee24 100644 --- a/tools/dcpdiff.cc +++ b/tools/dcpdiff.cc @@ -53,7 +53,7 @@ help (string n) void note (NoteType t, string n) { - if (t == ERROR || verbose) { + if (t == DCP_ERROR || verbose) { cout << " " << n << "\n"; } } |