diff --git a/src/frontends/qt4/GuiTexinfo.cpp b/src/frontends/qt4/GuiTexinfo.cpp
index db0c470fc4..f19103a19b 100644
--- a/src/frontends/qt4/GuiTexinfo.cpp
+++ b/src/frontends/qt4/GuiTexinfo.cpp
@@ -22,6 +22,8 @@
 #include <QListWidget>
 #include <QPushButton>
 
+#include <algorithm>
+
 using std::string;
 using std::vector;