diff options
Diffstat (limited to 'tools/dcpdiff.cc')
| -rw-r--r-- | tools/dcpdiff.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/dcpdiff.cc b/tools/dcpdiff.cc index 1085e289..6fb2317b 100644 --- a/tools/dcpdiff.cc +++ b/tools/dcpdiff.cc @@ -65,6 +65,7 @@ note (NoteType t, string n) { if (t == DCP_ERROR || verbose) { cout << " " << n << "\n"; + cout.flush (); } } |