fix TOL(Rational)

JuliaReach · Jan 28, 2018 · 2b03cc7 · 2b03cc7
1 parent 98346df
commit 2b03cc7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Approximations/Approximations.jl b/src/Approximations/Approximations.jl
@@ -20,7 +20,7 @@ export approximate,
 
 const TOL(N::Type{Float64}) = eps(N)
 const TOL(N::Type{Float32}) = eps(N)
-const TOL(N::Type{Rational{<:Any}}) = zero(N)
+const TOL(N::Type{Rational{INNER}}) where {INNER} = zero(N)
 
 const DIR_EAST(N) = [one(N), zero(N)]
 const DIR_NORTH(N) = [zero(N), one(N)]