From: André Stösel <andre@stoesel.de>
Date: Tue, 10 Apr 2012 16:53:15 +0000 (+0200)
Subject: Fix download manager compilation with Vala >= 0.16
X-Git-Url: https://spindle.queued.net/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7400114eac358dfce0e79b63b99e4e6030970c76;p=midori

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 ba397c0f..f7266f7a 100644
--- 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);