Index: mandoline/ui/desktop_ui/browser_commands.h |
diff --git a/mandoline/ui/desktop_ui/browser_commands.h b/mandoline/ui/desktop_ui/browser_commands.h |
index 9d0b0cfee1f341dec6585f232c72b0bb7ea4aeb7..df18c68f163dc8fb68c7da840cd29c49585d7c76 100644 |
--- a/mandoline/ui/desktop_ui/browser_commands.h |
+++ b/mandoline/ui/desktop_ui/browser_commands.h |
@@ -5,6 +5,8 @@ |
#ifndef MANDOLINE_UI_DESKTOP_UI_BROWSER_COMMANDS_H_ |
#define MANDOLINE_UI_DESKTOP_UI_BROWSER_COMMANDS_H_ |
+#include <stdint.h> |
+ |
namespace mandoline { |
enum class BrowserCommand : uint32_t { |