From faba379c969841b31a419ac36f5bbee68730ea4c Mon Sep 17 00:00:00 2001
From: Vladimir 'phcoder' Serbinenko <phcoder@gmail.com>
Date: Wed, 5 Oct 2011 23:18:22 +0200
Subject: [PATCH] put license on priority_queue

---
 grub-core/lib/priority_queue.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/grub-core/lib/priority_queue.c b/grub-core/lib/priority_queue.c
index 0cf258ecf..a790910a8 100644
--- a/grub-core/lib/priority_queue.c
+++ b/grub-core/lib/priority_queue.c
@@ -19,6 +19,10 @@
 #ifndef TEST
 #include <grub/priority_queue.h>
 #include <grub/mm.h>
+#include <grub/dl.h>
+
+GRUB_MOD_LICENSE ("GPLv3+");
+
 #else
 #include <stdlib.h>
 #include <stdio.h>