diff options
| author | Jiri Slaby <jslaby@suse.cz> | 2016-08-02 11:38:57 +0200 |
|---|---|---|
| committer | Jiri Slaby <jslaby@suse.cz> | 2016-08-03 12:54:39 +0200 |
| commit | 5464514153e57ec9c10734afed686071b6ddc463 (patch) | |
| tree | 81a4db86d147a644d057dcb6f49f5f8843c829af /lib/Core | |
| parent | 906cd594f28990113c5e7780564766befdcb93e1 (diff) | |
| download | klee-5464514153e57ec9c10734afed686071b6ddc463.tar.gz | |
fprintf: convert to klee_warning
In some Solver sources, some error outputs were missing \n. Instead of adding a new line to all of them, convert the fprintf's to klee_warning which adds \n automatically. ErrorHandling.h had to be included in MetaSMTSolver.cpp to have klee_warning declared there. Signed-off-by: Jiri Slaby <jslaby@suse.cz>
Diffstat (limited to 'lib/Core')
0 files changed, 0 insertions, 0 deletions