ccadar/klee — pull request #86 by msoos (2014-01-10 13:10:50+00:00)
Title: get_sign.c missing include

The file `examples/get_sign/get_sign.c` is missing the

```
#include
```

worst, it compiles, with the klee_make_symbolic implicitly declared:

```
get_sign.c:18:3: warning: implicit declaration of function 'klee_make_symbolic' is invalid in C99 [-Wimplicit-function-declaration]
klee_make_symbolic(&a, sizeof(a), "a");
^
```