From 03a36376c62149cbadb063fdca4ef6598b8fe3f0 Mon Sep 17 00:00:00 2001
From: Artem Zhidkov <Artem.Zhidkov@opencascade.com>
Date: Fri, 15 May 2020 15:36:50 +0300
Subject: [PATCH] Fix compilation error.

---
 src/ConstructionPlugin/ConstructionPlugin_Plane.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/ConstructionPlugin/ConstructionPlugin_Plane.cpp b/src/ConstructionPlugin/ConstructionPlugin_Plane.cpp
index 6863ee74c..0b81fca65 100644
--- a/src/ConstructionPlugin/ConstructionPlugin_Plane.cpp
+++ b/src/ConstructionPlugin/ConstructionPlugin_Plane.cpp
@@ -46,6 +46,8 @@
 #include <ModelAPI_Session.h>
 #include <ModelAPI_Validator.h>
 
+#include <cfloat>
+
 
 static GeomShapePtr faceByThreeVertices(const std::shared_ptr<GeomAPI_Vertex> theV1,
                                         const std::shared_ptr<GeomAPI_Vertex> theV2,
-- 
2.39.2