diff --git a/src/methods/risch/frontend.jl b/src/methods/risch/frontend.jl
index 3a890d0..a2ab675 100644
--- a/src/methods/risch/frontend.jl
+++ b/src/methods/risch/frontend.jl
@@ -725,7 +725,7 @@ function TowerOfDifferentialFields(terms::Vector{Term})  where
 end
 
 
-@variables ∫(.., ..)
+SymbolicUtils.@syms ∫(::Any, ::Any)::Real
 
 """
     integrate(f, x; kwargs...)