GDS: Actually skip discarded text

Signed-off-by: gatecat <[email protected]>
lip6 · Dec 10, 2023 · 81337c3 · 81337c3
1 parent 2ba6850
commit 81337c3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/crlcore/src/ccore/gds/GdsParser.cpp b/crlcore/src/ccore/gds/GdsParser.cpp
@@ -1092,6 +1092,7 @@ namespace {
         cerr << Error( "GdsStream::readTextbody(): Discarted text is \"%s\"."
                      , _text.c_str()
                      ) << endl;
+        return _validSyntax;
       }
     }
     else {