From 81ce256e691f95e0cd58b7537baf4cf3444b2036 Mon Sep 17 00:00:00 2001
From: Uwe <donovaly@users.noreply.github.com>
Date: Sat, 9 Jul 2022 04:12:32 +0200
Subject: [PATCH] [Part] [Skip CI] BRepOffsetAPI_MakePipeShellPyImp: re-add an
 include

---
 src/Mod/Part/App/BRepOffsetAPI_MakePipeShellPyImp.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Mod/Part/App/BRepOffsetAPI_MakePipeShellPyImp.cpp b/src/Mod/Part/App/BRepOffsetAPI_MakePipeShellPyImp.cpp
index 616a031e82..047d2cfa15 100644
--- a/src/Mod/Part/App/BRepOffsetAPI_MakePipeShellPyImp.cpp
+++ b/src/Mod/Part/App/BRepOffsetAPI_MakePipeShellPyImp.cpp
@@ -26,6 +26,7 @@
 # include <gp_Ax2.hxx>
 # include <gp_Dir.hxx>
 # include <gp_Pnt.hxx>
+# include <Standard_Version.hxx>
 # include <TopoDS.hxx>
 # include <TopTools_ListIteratorOfListOfShape.hxx>
 #endif