From 9d390ee49fb1f6300336e82ae94cc8061c6bae12 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Corentin=20No=C3=ABl?= <corentin@elementary.io>
Date: Wed, 29 Jan 2020 11:02:33 +0100
Subject: [PATCH] meta: Add missing display.h to meta-workspace-manager.h

This is required because MetaDisplayCorner is only defined in display.h

https://gitlab.gnome.org/GNOME/mutter/merge_requests/1025
---
 src/meta/meta-workspace-manager.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/meta/meta-workspace-manager.h b/src/meta/meta-workspace-manager.h
index 0390c44e2..92cd68191 100644
--- a/src/meta/meta-workspace-manager.h
+++ b/src/meta/meta-workspace-manager.h
@@ -26,6 +26,7 @@
 #include <glib-object.h>
 
 #include <meta/common.h>
+#include <meta/display.h>
 #include <meta/prefs.h>
 #include <meta/types.h>