Z3.jl icon indicating copy to clipboard operation
Z3.jl copied to clipboard

# Prevent initialisation of types

Open zenna opened this issue 10 years ago • 0 comments

Many types are just wrappers around a Ptr{Void}. It seems like these types can be initialised with anything, which led to some annoying bugs.

I should prevent this so that they should be only initializable with a Ptr{Void}

zenna avatar Oct 27 '15 18:10 zenna