Fix download manager compilation with Vala >= 0.16

Fixes: https://bugs.launchpad.net/midori/+bug/976139

diff --git a/extensions/external-download-manager.vala b/extensions/external-download-manager.vala
index ba397c0f354bdf524c249d755fc7ccc3cea99cff..f7266f7af9d1d82ca668da805f1f2f311bd492f1 100644 (file)
--- a/extensions/external-download-manager.vala
+++ b/extensions/external-download-manager.vala
@@ -136,7 +136,7 @@ namespace EDM {
             var url = value_array_new ();
             value_array_insert (url, 0, typeof (string), dlReq.uri);
 
-            var options = value_hash_new ();
+            GLib.HashTable<string, GLib.Value?> options = value_hash_new ();
             var referer = new GLib.Value (typeof (string));
             referer.set_string (dlReq.referer);
             options.insert ("referer", referer);