about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
-rw-r--r--tools/gen-random-bout/gen-random-bout.cpp4
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/gen-random-bout/gen-random-bout.cpp b/tools/gen-random-bout/gen-random-bout.cpp
index 0a65bda2..2132f646 100644
--- a/tools/gen-random-bout/gen-random-bout.cpp
+++ b/tools/gen-random-bout/gen-random-bout.cpp
@@ -9,6 +9,10 @@
 
 #include "klee/Internal/ADT/KTest.h"
 
+#ifdef __FreeBSD__
+#define stat64 stat
+#endif
+
 // --sym-args 0 1 10 --sym-args 0 2 2 --sym-files 1 8 --sym-stdout
 static int getint(char *i) {
   if(!i) {