ccadar/klee — pull request #40 by antiAgainst (2013-10-11 14:20:31+00:00)
Title: Bugfix: Remove llvm.trap declaration after cleaning all uses.

Sorry about this bug I introduced. :( The def should be removed after all use are removed.