From: Rico Tzschichholz <ricotz@ubuntu.com>
Date: Mon, 3 Dec 2018 08:05:25 +0000 (+0100)
Subject: girparser: Skip "source-position" elements
X-Git-Tag: 0.43.1~6
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=743228892f209e45bedfb065fd8a7b6c2211d09c;p=thirdparty%2Fvala.git

girparser: Skip "source-position" elements

See https://gitlab.gnome.org/GNOME/gobject-introspection/merge_requests/75
---

diff --git a/vala/valagirparser.vala b/vala/valagirparser.vala
index b918395a9..5448fc591 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;
 			}