diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2010-02-25 18:16:03 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2010-02-25 18:16:03 +0000 |
| commit | c816be95f57766455f9d4175dde8622cdb3f8c41 (patch) | |
| tree | 99a563e8e9280a5f603950381ba67e46e09718e4 /lib/Core | |
| parent | 01ab81773356f992997878edb9e7968bd7c61ee3 (diff) | |
| download | klee-c816be95f57766455f9d4175dde8622cdb3f8c41.tar.gz | |
Applied patch submitted by Justin Lebar to fix compilation error w/
gcc 4.4. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@97153 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Core')
| -rw-r--r-- | lib/Core/ExternalDispatcher.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Core/ExternalDispatcher.h b/lib/Core/ExternalDispatcher.h index c173df73..d8d9dc58 100644 --- a/lib/Core/ExternalDispatcher.h +++ b/lib/Core/ExternalDispatcher.h @@ -12,6 +12,7 @@ #include <map> #include <string> +#include <stdint.h> namespace llvm { class ExecutionEngine; |