Z3_error_code constructor

Z3_error_code()