DataSource::discard_next did not actually return the number of discarded

bytes. Bug noted by Falko Strenzke, fix by M. Braun. (bug id 31)

1 files changed, 1 insertions, 1 deletions

diff --git a/src/utils/data_src.cpp b/src/utils/data_src.cpp
index 4164a6dd3..e6387c4ba 100644
--- a/src/utils/data_src.cpp
+++ b/src/utils/data_src.cpp
@@ -38,7 +38,7 @@ u32bit DataSource::discard_next(u32bit n)
    u32bit discarded = 0;
    byte dummy;
    for(u32bit j = 0; j != n; ++j)
-      discarded = read_byte(dummy);
+      discarded += read_byte(dummy);
    return discarded;
    }