psuter/ScalaZ3 — pull request #16 by colder (2012-11-26 18:42:51+00:00)
Title: Do not create empty .so files at load time

Fixes a bug that prevents scalaz3 from being loaded 2+ times.