We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 245ef87 commit 4726745Copy full SHA for 4726745
1 file changed
src/frontend/specification/Sem.jl
@@ -262,7 +262,7 @@ function sem_term(model::AbstractSem, id::Any)
262
return term
263
end
264
265
-function sem_term(model::AbstractSem, id::Nothing = nothing)
+function sem_term(model::AbstractSem, _::Nothing = nothing)
266
if nsem_terms(model) != 1
267
error(
268
"Model contains $(nsem_terms(model)) SEM terms, you have to specify a specific term",
0 commit comments