Part: [skip ci] fix possible build failure

This commit is contained in:
wmayer
2022-07-14 01:34:26 +02:00
committed by Uwe
parent fcba255925
commit 9e3618005e
@@ -23,6 +23,7 @@
#include "PreCompiled.h"
#ifndef _PreComp_
# include <memory>
# include <Standard_Failure.hxx>
#endif