diff --git a/vvp/vpi_signal.cc b/vvp/vpi_signal.cc index 582c9c6b2..6f5ec8d36 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