From 7400114eac358dfce0e79b63b99e4e6030970c76 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9=20St=C3=B6sel?= <andre@stoesel.de>
Date: Tue, 10 Apr 2012 18:53:15 +0200
Subject: [PATCH] Fix download manager compilation with Vala >= 0.16

Fixes: https://bugs.launchpad.net/midori/+bug/976139
---
 extensions/external-download-manager.vala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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