diff options
| -rw-r--r-- | src/sim/main.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/sim/main.cc b/src/sim/main.cc index e7fb4039e..0341b7d5f 100644 --- a/src/sim/main.cc +++ b/src/sim/main.cc @@ -29,6 +29,7 @@ */ #include <Python.h> +#include <signal.h> #include <iostream> #include <string> |