Change the color of the background widget to red.

[lyx.git] / src / DepTable.h

diff --git a/src/DepTable.h b/src/DepTable.h
index 6148f67736507a140c768734bf38d61d91a45ba8..f74e8cbec03bfb8464e45c34887ffedf81e7b813 100644 (file)
--- a/src/DepTable.h
+++ b/src/DepTable.h
@@ -14,6 +14,7 @@
 #define DEP_TABLE_H
 
 #include <map>
+#include <string>
 
 ///
 class DepTable {