[gxml] StreamReader: removed unused properties

[Daniel Espinosa Ortiz <despinosa src gnome org>]

commit 185a9aa4ef3f22fb17ae0b0377f695678c1183eb
Author: Daniel Espinosa <esodan gmail com>
Date:   Wed Jul 24 14:33:35 2019 -0500

    StreamReader: removed unused properties

 gxml/StreamReader.vala | 11 -----------
 1 file changed, 11 deletions(-)
---
diff --git a/gxml/StreamReader.vala b/gxml/StreamReader.vala
index b14cc5b..c7f75b6 100644
--- a/gxml/StreamReader.vala
+++ b/gxml/StreamReader.vala
@@ -28,19 +28,8 @@ public errordomain GXml.StreamReaderError {
 
 public class GXml.StreamReader : GLib.Object {
   uint8[] buf = new uint8[2];
-  public size_t xml_def_pos_start { get; set; }
-  public size_t xml_def_pos_end { get; set; }
-  public size_t doc_type_pos_start { get; set; }
-  public size_t doc_type_pos_end { get; set; }
-  public size_t root_pos_start { get; set; }
-  public size_t root_pos_end { get; set; }
-  public size_t current_pos { get; set; }
   public DataInputStream stream { get; }
   public Cancellable? cancellable { get; set; }
-  public bool has_xml_dec { get; set; }
-  public bool has_doc_type_dec { get; set; }
-  public bool has_misc { get; set; }
-  public bool has_root { get; set; }
   public DomDocument document { get; }
 
   public StreamReader (InputStream istream) {