diff options
| -rw-r--r-- | vala/valagirparser.vala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/vala/valagirparser.vala b/vala/valagirparser.vala index 4e9bdeedc..947736f43 100644 --- a/vala/valagirparser.vala +++ b/vala/valagirparser.vala @@ -2240,6 +2240,8 @@ public class Vala.GirParser : CodeVisitor { } } else if (reader.name == "constant") { parse_constant (); + } else if (reader.name == "docsection") { + skip_element (); } else { // error Report.error (get_current_src (), "unknown child element `%s' in `namespace'".printf (reader.name)); |