[llvm-commits] [klee] r72380 - /klee/trunk/include/klee/Statistic.h

[Duncan Sands]

Author: baldrick
Date: Mon May 25 04:43:40 2009
New Revision: 72380

URL: http://llvm.org/viewvc/llvm-project?rev=72380&view=rev
Log:
Add include for uint64_t, needed when building with
gcc-4.4.

Modified:
    klee/trunk/include/klee/Statistic.h

Modified: klee/trunk/include/klee/Statistic.h
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/include/klee/Statistic.h?rev=72380&r1=72379&r2=72380&view=diff

==============================================================================
--- klee/trunk/include/klee/Statistic.h (original)
+++ klee/trunk/include/klee/Statistic.h Mon May 25 04:43:40 2009
@@ -10,6 +10,7 @@
 #ifndef KLEE_STATISTIC_H
 #define KLEE_STATISTIC_H
 
+#include "llvm/Support/DataTypes.h"
 #include <string>
 
 namespace klee {