From c16f33299ba5f321a449e304ca128219d34ac884 Mon Sep 17 00:00:00 2001
From: Mate Soos <soos.mate@gmail.com>
Date: Fri, 10 Jan 2014 14:01:25 +0100
Subject: Fixing missing include from get_sign.c

---
 examples/get_sign/get_sign.c | 1 +
 1 file changed, 1 insertion(+)

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)
-- 
cgit 1.4.1