about summary refs log tree commit diff homepage
path: root/examples/get_sign
diff options
context:
space:
mode:
authorMate Soos <soos.mate@gmail.com>2014-01-10 14:01:25 +0100
committerMate Soos <soos.mate@gmail.com>2014-01-10 14:01:25 +0100
commitc16f33299ba5f321a449e304ca128219d34ac884 (patch)
tree40e904395e27ecaa5ab7adcd510b3501aa8325c8 /examples/get_sign
parent05baefe2505943311abaeb28543e8d1222a3c9a7 (diff)
downloadklee-c16f33299ba5f321a449e304ca128219d34ac884.tar.gz
Fixing missing include from get_sign.c
Diffstat (limited to 'examples/get_sign')
-rw-r--r--examples/get_sign/get_sign.c1
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)