From 2cd04d9e556d2ec1ada5837fcdeac1571cfbea65 Mon Sep 17 00:00:00 2001 From: mzernova Date: Wed, 8 Mar 2023 00:08:43 +0000 Subject: [PATCH] Changing the ScalePrec --- src/TopLoc/TopLoc_Location.hxx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/TopLoc/TopLoc_Location.hxx b/src/TopLoc/TopLoc_Location.hxx index cc953d7f46..6799c810c9 100644 --- a/src/TopLoc/TopLoc_Location.hxx +++ b/src/TopLoc/TopLoc_Location.hxx @@ -157,7 +157,7 @@ Standard_Boolean operator != (const TopLoc_Location& Other) const static Standard_Real ScalePrec() { - return 1.e-14; + return 1.e-13; } protected: -- 2.39.5