put license on priority_queue

diff --git a/grub-core/lib/priority_queue.c b/grub-core/lib/priority_queue.c
index 0cf258ecfa581f6a8771c4e2d588beacf47175e6..a790910a8091c49350b05328548dbe5ffcc69af5 100644 (file)
--- 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>