From d468e4c1629024ed2316ab5d886ac4e3464f301b Mon Sep 17 00:00:00 2001 From: Rico Tzschichholz Date: Mon, 3 Dec 2018 09:05:25 +0100 Subject: [PATCH] girparser: Skip "source-position" elements See https://gitlab.gnome.org/GNOME/gobject-introspection/merge_requests/75 --- vala/valagirparser.vala | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/vala/valagirparser.vala b/vala/valagirparser.vala index 8d266917a..332037553 100644 --- a/vala/valagirparser.vala +++ b/vala/valagirparser.vala @@ -2266,6 +2266,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; } @@ -2293,6 +2295,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; } -- 2.47.2