From c75343c7cbca517a4e56826ec1235bb70f633266 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Tue, 22 Mar 2016 19:42:05 +0000
Subject: [PATCH]

---
 Common/onelab.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Common/onelab.h b/Common/onelab.h
index 38a83fa6fa..a6240d8e13 100644
--- a/Common/onelab.h
+++ b/Common/onelab.h
@@ -35,6 +35,7 @@
 #include <set>
 #include <map>
 #include <iostream>
+#include <algorithm>
 #include <sstream>
 #include "GmshSocket.h"
 
-- 
GitLab