From 05c3aceb8fed45c5aa324814f0ce9c78e42f0095 Mon Sep 17 00:00:00 2001 From: Johannes Kalmbach Date: Tue, 12 Dec 2023 20:46:56 +0100 Subject: [PATCH] Very tiny changes. --- src/parser/TurtleParser.cpp | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/parser/TurtleParser.cpp b/src/parser/TurtleParser.cpp index c9cc6ed63a..a6f412a4b4 100644 --- a/src/parser/TurtleParser.cpp +++ b/src/parser/TurtleParser.cpp @@ -822,8 +822,9 @@ bool TurtleStreamParser::getLine(TurtleTriple* triple) { // We will use the following trick: For a batch that is forwarded to the // parallel parser, we will first increment `numBatchesTotal_` and then call -// the following lambda after the batch has completely parsed and the result -// pushed to the `tripleCollector_`. We thus get the invariant that `batchIdx_ +// the following lambda after the batch has completely been parsed and the +// result pushed to the `tripleCollector_`. We thus get the invariant that +// `batchIdx_ // == numBatchesTotal_` iff all batches that have been inserted to the // `parallelParser_` have been fully processed. After the last batch we will // push another call to this lambda to the `parallelParser_` which will then