diff options
| author | Mate Soos <soos.mate@gmail.com> | 2014-01-10 14:01:25 +0100 |
|---|---|---|
| committer | Mate Soos <soos.mate@gmail.com> | 2014-01-10 14:01:25 +0100 |
| commit | c16f33299ba5f321a449e304ca128219d34ac884 (patch) | |
| tree | 40e904395e27ecaa5ab7adcd510b3501aa8325c8 /examples/get_sign | |
| parent | 05baefe2505943311abaeb28543e8d1222a3c9a7 (diff) | |
| download | klee-c16f33299ba5f321a449e304ca128219d34ac884.tar.gz | |
Fixing missing include from get_sign.c
Diffstat (limited to 'examples/get_sign')
| -rw-r--r-- | examples/get_sign/get_sign.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/examples/get_sign/get_sign.c b/examples/get_sign/get_sign.c index a97ac375..fd2ad9f2 100644 --- a/examples/get_sign/get_sign.c +++ b/examples/get_sign/get_sign.c @@ -2,6 +2,7 @@ * First KLEE tutorial: testing a small function */ +#include <klee/klee.h> int get_sign(int x) { if (x == 0) |