Update src/domains.jl

JuliaSymbolics · May 13, 2024 · 7cfc412 · 7cfc412
1 parent d565630
commit 7cfc412
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/domains.jl b/src/domains.jl
@@ -17,7 +17,7 @@ Base.:∈(variable::DomainedVar,domain::NTuple{2,Real}) = VarDomainPairing(varia
 # Multiple variables
 Base.:∈(variables::NTuple{N,DomainedVar},domain::Domain) where N = VarDomainPairing(value.(variables),domain)
 
-function infimum(d::AbstractInterval)
+function infimum(d::AbstractInterval{<:Num})
     leftendpoint(d)
 end