From b9cdfb3a97049c41b6aa55f04fb1fc4da60e1d61 Mon Sep 17 00:00:00 2001 From: kalmar Date: Fri, 9 Jun 2017 11:59:25 +0200 Subject: [PATCH] wlen is no longer a kwarg in check_distance_to_positive_cone --- Orb_AutFN.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Orb_AutFN.jl b/Orb_AutFN.jl index d964929..98cec76 100644 --- a/Orb_AutFN.jl +++ b/Orb_AutFN.jl @@ -198,7 +198,7 @@ function orbit_check_propertyT(logger, sett::Settings) info(logger, "minimum(P) = $(minimum(P))") if λ > 0 - sgap = PropertyT.check_distance_to_positive_cone(Δ, λ, P, tol=sett.tol, rational=false, len=2*sett.radius) + sgap = PropertyT.check_distance_to_positive_cone(Δ, λ, P, 2*sett.radius, tol=sett.tol, rational=false) if isa(sgap, Interval) sgap = sgap.lo end