diff --git a/vvp/vpi_signal.cc b/vvp/vpi_signal.cc index 956e15b3f..dfe454d9c 100644 --- a/vvp/vpi_signal.cc +++ b/vvp/vpi_signal.cc @@ -37,6 +37,7 @@ # include #endif # include +# include # include # include #ifdef CHECK_WITH_VALGRIND