From 7cfc412e0fa8323b8139dea4facbe532d2909e8d Mon Sep 17 00:00:00 2001
From: Christopher Rackauckas <accounts@chrisrackauckas.com>
Date: Mon, 13 May 2024 19:28:22 -0400
Subject: [PATCH] Update src/domains.jl

---
 src/domains.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/domains.jl b/src/domains.jl
index 0d7da54d2..3ae4ddaf7 100644
--- 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