diff --git a/Orb_AutFN.jl b/Orb_AutFN.jl
index a7c7a0f..9c731a5 100644
--- a/Orb_AutFN.jl
+++ b/Orb_AutFN.jl
@@ -5,6 +5,8 @@ using SCS
 using GroupRings
 using PropertyT
 
+using ValidatedNumerics
+
 import Nemo: Group, GroupElem
 using ArgParse