Closed tvcsantos closed 10 years ago
There was a compilation error due to a missing ";", also added a static variable for z3 lib name, in a similar way to the static variable LIB_NAME, also commented two unused lines
There was a compilation error due to a missing ";", also added a static variable for z3 lib name, in a similar way to the static variable LIB_NAME, also commented two unused lines