From 4d4290a8847a885187d530a2f2d20a6a76813164 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Wed, 7 Sep 2016 05:09:40 +0000
Subject: [PATCH] fix

---
 Common/OS.cpp     | 1 +
 Geo/OCCRegion.cpp | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/Common/OS.cpp b/Common/OS.cpp
index 7acaed7b5c..38ccd2e868 100644
--- a/Common/OS.cpp
+++ b/Common/OS.cpp
@@ -49,6 +49,7 @@
 #include <fcntl.h>
 #include <iostream>
 #include <fstream>
+#include <sys/timeb.h>
 #endif
 
 #include "GmshMessage.h"
diff --git a/Geo/OCCRegion.cpp b/Geo/OCCRegion.cpp
index 42a1280a33..b41a798f23 100644
--- a/Geo/OCCRegion.cpp
+++ b/Geo/OCCRegion.cpp
@@ -59,7 +59,7 @@ void OCCRegion::setup()
     else if (edge.Orientation() == TopAbs_INTERNAL){
       Msg::Info("Adding embedded edge %d", e->tag());
       embedded_edges.push_back(e);
-      OCCEdge *occe = (OCCEdge*)e;
+      //OCCEdge *occe = (OCCEdge*)e;
       //occe->setTrimmed(this);
     }
   }
-- 
GitLab