From 20b9988c237f313289665f37270afe4448518218 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Mon, 13 Jun 2016 10:27:52 +0000
Subject: [PATCH] remove extra include

---
 Common/OS.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Common/OS.cpp b/Common/OS.cpp
index f82efdea9a..61c0be3630 100644
--- a/Common/OS.cpp
+++ b/Common/OS.cpp
@@ -14,7 +14,6 @@
 #include <signal.h>
 #include <time.h>
 #include <math.h>
-#include "FlGui.h"
 #include "GmshConfig.h"
 #include "StringUtils.h"
 #include "Context.h"
-- 
GitLab