[vala] girparser: Skip "source-position" elements

[Rico Tzschichholz <ricotz src gnome org>]

commit 743228892f209e45bedfb065fd8a7b6c2211d09c
Author: Rico Tzschichholz <ricotz ubuntu com>
Date:   Mon Dec 3 09:05:25 2018 +0100

    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 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;
                        }