Bug#842892: java.lang.UnsatisfiedLinkError: libz3java.so: undefined symbol: Z3_solver_get_model

[Andreas Beckmann]

Followup-For: Bug #842892
Control: tag -1 patch

Hi,

the attached patch should fix the wrong SONAME of libz3java.so.


Andreas