Fixing OS X compilation issues

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver

Apache License 2.0

122 stars 34 forks source link

Fixing OS X compilation issues #7

Closed msama closed 12 years ago

msama commented 12 years ago

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

psuter commented 12 years ago

Thanks for the fix! Looks like a merge conflict was not resolved properly (b16188a), though. I cherry-picked the relevant commit into master, so thanks again.