Changing the ScalePrec

diff --git a/src/TopLoc/TopLoc_Location.hxx b/src/TopLoc/TopLoc_Location.hxx
index cc953d7f467d2384677450c4e7754908ff937f92..6799c810c9628b26a628d6f91e295d7a7a1e5934 100644 (file)
--- 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: