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 b918395a9b49fd445bca8e6d3cbad6c92a8aacc0..5448fc5917a3861b047c6dd44055e4f0951d996f 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;
                        }