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 7da55ccc..a9d78712 100644 --- a/tools/dcpdiff.cc +++ b/tools/dcpdiff.cc @@ -83,7 +83,7 @@ help (string n) void note (NoteType t, string n) { - if (t == DCP_ERROR || verbose) { + if (t == NoteType::ERROR || verbose) { cout << " " << n << "\n"; cout.flush (); } |