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 8d266917aab5caeb9f2829f1b772255326725e42..332037553e2db6ca2638f3712c2dad6280f48257 100644 (file)
--- 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;
                        }