diff options
author | Rico Tzschichholz <ricotz@ubuntu.com> | 2018-12-03 09:05:25 +0100 |
---|---|---|
committer | Rico Tzschichholz <ricotz@ubuntu.com> | 2018-12-06 15:57:09 +0100 |
commit | 06f4b599554773b5fbfe7cbab99eff8d94d2cb94 (patch) | |
tree | a55fa96d9be270f0b0efa15b449a736d52055098 | |
parent | cd219f95189936bde47fe91aa759977dd9d4b634 (diff) | |
download | vala-06f4b599554773b5fbfe7cbab99eff8d94d2cb94.tar.gz |
girparser: Skip "source-position" elements
See https://gitlab.gnome.org/GNOME/gobject-introspection/merge_requests/75
-rw-r--r-- | vala/valagirparser.vala | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/vala/valagirparser.vala b/vala/valagirparser.vala index ae71480ad..1945a06c8 100644 --- a/vala/valagirparser.vala +++ b/vala/valagirparser.vala @@ -2247,6 +2247,8 @@ public class Vala.GirParser : CodeVisitor { end_element ("doc"); } else if (reader_name == "doc-version" || reader_name == "doc-deprecated" || reader_name == "doc-stability") { skip_element (); + } else if (reader_name == "source-position") { + skip_element (); } else { break; } @@ -2274,6 +2276,8 @@ public class Vala.GirParser : CodeVisitor { end_element ("doc"); } else if (reader_name == "doc-version" || reader_name == "doc-deprecated" || reader_name == "doc-stability") { skip_element (); + } else if (reader_name == "source-position") { + skip_element (); } else { break; } |