Fix method redefinition

YingboMa · YingboMa · commit b4c97d024111 · 2024-05-03T15:27:05.000-04:00
diff --git a/src/discretedomain.jl b/src/discretedomain.jl
@@ -1,10 +1,9 @@
 using Symbolics: Operator, Num, Term, value, recursive_hasoperator
 
-struct SampleTime <: Operator end
-SymbolicUtils.promote_symtype(::Type{SampleTime}, t...) = Real
-function SampleTime()
-    SymbolicUtils.term(SampleTime, type = Real)
+struct SampleTime <: Operator
+    SampleTime() = SymbolicUtils.term(SampleTime, type = Real)
 end
+SymbolicUtils.promote_symtype(::Type{<:SampleTime}, t...) = Real
 
 # Shift
 
