From 3b23184c1500eccfce4b079e48109fc986f1c17c Mon Sep 17 00:00:00 2001
From: David Capello <davidcapello@gmail.com>
Date: Mon, 24 Feb 2014 08:23:04 -0300
Subject: [PATCH] Fix compilation error in ui/clipboard_none.h

---
 src/ui/clipboard_none.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/ui/clipboard_none.h b/src/ui/clipboard_none.h
index c7e85caa3..d14d0a3c4 100644
--- a/src/ui/clipboard_none.h
+++ b/src/ui/clipboard_none.h
@@ -4,6 +4,8 @@
 // This source file is distributed under MIT license,
 // please read LICENSE.txt for more information.
 
+#include <string>
+
 namespace {
   
 void get_system_clipboard_text(std::string& text)