# `@wrap` doing the wrong thing

Open zenna opened this issue 10 years ago • 0 comments

#2 methods for generic function "model_eval":
model_eval(ctx::Z3.Context, m::Z3.Model, t::Union{Z3.AppAst{T},Z3.Ast,Z3.FuncDeclAst,Z3.NumeralAst{T<:Real},Z3.QuantifierAst,Z3.RealVarAst{T<:Real},Z3.SortAst,Z3.UnknownAst,Z3.VarAst{T}}, model_completion::Int32, v::Array{T,1})
model_eval(m::Z3.Model, t::Union{Z3.AppAst{T},Z3.Ast,Z3.FuncDeclAst,Z3.NumeralAst{T<:Real},Z3.QuantifierAst,Z3.RealVarAst{T<:Real},Z3.SortAst,Z3.UnknownAst,Z3.VarAst{T}}, model_completion::Int32, v::Array{T,1})

It interprets the last two params as model_completion::Int32, v::Array{T,1}

Should it?

Oct 28 '15 01:10 zenna