psuter/ScalaZ3 — pull request #7 by msama (2012-07-26 09:48:49+00:00)
Title: Fixing OS X compilation issues

The problem was caused by a leftover in the JNI file.
Z3 4.0 has removed all the trace API