diff options
author | Rico Tzschichholz <ricotz@ubuntu.com> | 2020-07-23 08:24:15 +0200 |
---|---|---|
committer | Rico Tzschichholz <ricotz@ubuntu.com> | 2020-07-23 08:26:15 +0200 |
commit | 719b560d187387ce2fdb45c6421194be9422902d (patch) | |
tree | 2593e2fcf8f181aac2f9f8558f02a85156bf8682 | |
parent | 0616060a21b8ee100a8e464f233b8aad56fe19c6 (diff) | |
download | vala-719b560d187387ce2fdb45c6421194be9422902d.tar.gz |
girparser: Skip 'docsection' elements in <namespace>
See https://gitlab.gnome.org/GNOME/gobject-introspection/-/merge_requests/226
-rw-r--r-- | vala/valagirparser.vala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/vala/valagirparser.vala b/vala/valagirparser.vala index 8526ffa1b..dd58dc284 100644 --- a/vala/valagirparser.vala +++ b/vala/valagirparser.vala @@ -2244,6 +2244,8 @@ public class Vala.GirParser : CodeVisitor { } } else if (reader.name == "constant") { parse_constant (); + } else if (reader.name == "docsection") { + skip_element (); } else { // error Report.error (get_current_src (), "unknown child element `%s' in `namespace'".printf (reader.name)); |