diff options
| author | Nguyễn Gia Phong <mcsinyx@disroot.org> | 2023-04-26 19:11:34 +0900 |
|---|---|---|
| committer | Nguyễn Gia Phong <mcsinyx@disroot.org> | 2023-06-22 16:13:13 +0900 |
| commit | 8a40d5b11fc50e2f13011f6ea39b561402450d4a (patch) | |
| tree | d24479d6656b644f77647c92f6b8193f9e5a5450 /lib/Core/Differentiator.cpp | |
| parent | 546beac8ad21c369093f373f9dc1f9d98d74a058 (diff) | |
| download | klee-8a40d5b11fc50e2f13011f6ea39b561402450d4a.tar.gz | |
Conclude concrete execution impl
Diffstat (limited to 'lib/Core/Differentiator.cpp')
| -rw-r--r-- | lib/Core/Differentiator.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/Differentiator.cpp b/lib/Core/Differentiator.cpp index b0fc8caf..c68ec6d1 100644 --- a/lib/Core/Differentiator.cpp +++ b/lib/Core/Differentiator.cpp @@ -34,7 +34,7 @@ std::string quoted(const std::string& s) { return ss.str(); } -inline char hex(char c) { +inline char hex(unsigned char c) { return (c < 10) ? '0' + c : 'a' + c - 10; } |