From 0358c0dc86d1a439d327d4e3bade5d8abc964225 Mon Sep 17 00:00:00 2001 From: Duncan Sands Date: Mon, 25 May 2009 09:43:40 +0000 Subject: Add include for uint64_t, needed when building with gcc-4.4. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72380 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/klee/Statistic.h | 1 + 1 file changed, 1 insertion(+) diff --git a/include/klee/Statistic.h b/include/klee/Statistic.h index e5aef6b1..6baaedf4 100644 --- a/include/klee/Statistic.h +++ b/include/klee/Statistic.h @@ -10,6 +10,7 @@ #ifndef KLEE_STATISTIC_H #define KLEE_STATISTIC_H +#include "llvm/Support/DataTypes.h" #include namespace klee { -- cgit 1.4.1