From 8253b1795ba9e4d44e92d5d41151f56ef6be9a18 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Mon, 21 Jun 2010 18:04:13 +0000
Subject: Applied Stefan Bucur's patch that fixes a non-deterministic bug in
 the regression suite (see http://llvm.org/bugs/show_bug.cgi?id=7423)

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@106431 91177308-0d34-0410-b5e6-96231b3b80d8
---
 test/Runtime/Uclibc/Environ.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'test/Runtime/Uclibc')

diff --git a/test/Runtime/Uclibc/Environ.c b/test/Runtime/Uclibc/Environ.c
index 63892db5..36db1911 100644
--- a/test/Runtime/Uclibc/Environ.c
+++ b/test/Runtime/Uclibc/Environ.c
@@ -2,6 +2,8 @@
 // RUN: %klee --libc=uclibc --exit-on-error %t1.bc
 
 #include <assert.h>
+#include <stdlib.h>
+#include <stdio.h>
 
 int main() {
   printf("HOME: %s\n", getenv("HOME"));
-- 
cgit 1.4.1