diff options
| author | Julian Büning <julian.buening@comsys.rwth-aachen.de> | 2023-05-29 13:17:17 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-06-05 17:01:15 +0100 |
| commit | e9eaa77b9b5f9e2c9e3ebd8a4e5fad555fe77850 (patch) | |
| tree | a56aa670a4274df67448728fe786800846f4eba7 /unittests/RNG | |
| parent | 1a087c7d23127b28610f76f201ddd5b750aa0080 (diff) | |
| download | klee-e9eaa77b9b5f9e2c9e3ebd8a4e5fad555fe77850.tar.gz | |
CMake: remove unused TARGET_LIBS variable
It appears that this variable was never used, already when it was first set in 7e75b491d389c15d48a5cfc455ba9442d7c108ed.
Diffstat (limited to 'unittests/RNG')
0 files changed, 0 insertions, 0 deletions