diff options
| author | Lei Zhang <antiAgainst@gmail.com> | 2013-10-08 22:09:56 -0400 |
|---|---|---|
| committer | Lei Zhang <antiAgainst@gmail.com> | 2013-10-08 22:09:56 -0400 |
| commit | cff6f244b5d0d378237c0f675f76a8c4f8cc8557 (patch) | |
| tree | 4f3ced43c8b214a2525386c20be444641da9cc4e /lib/SMT/main.cpp | |
| parent | fc29e256039d1af4979fd0a5c7170de84b19818b (diff) | |
| download | klee-cff6f244b5d0d378237c0f675f76a8c4f8cc8557.tar.gz | |
Remove llvm.trap declaration after cleaning all uses.
Diffstat (limited to 'lib/SMT/main.cpp')
0 files changed, 0 insertions, 0 deletions