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 /stp | |
| 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 'stp')
| -rw-r--r-- | stp/AST/AST.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/stp/AST/AST.h b/stp/AST/AST.h index 53ed7016..202f6598 100644 --- a/stp/AST/AST.h +++ b/stp/AST/AST.h @@ -27,6 +27,7 @@ #include "../sat/Solver.h" #include "../sat/SolverTypes.h" #include <cstdlib> +#include <stdint.h> #ifndef NATIVE_C_ARITH #include "../constantbv/constantbv.h" #endif |