diff --git a/common/renode-verilator-integration/CMakeLists.txt b/common/renode-verilator-integration/CMakeLists.txt
index 1e7a09f0d..0787abc02 100644
--- a/common/renode-verilator-integration/CMakeLists.txt
+++ b/common/renode-verilator-integration/CMakeLists.txt
@@ -10,7 +10,7 @@ set(CSOURCES sim_main.cpp)
 if(TRACE_DEPTH_VAL)
     set(TRACE_DEPTH --trace-depth ${TRACE_DEPTH_VAL})
 endif()
-set(VERI_LIB_ARGS ${ENABLE_TRACE} ${TRACE_DEPTH} -Wno-WIDTH -Wno-CASEINCOMPLETE -Wno-CASEOVERLAP)
+set(VERI_LIB_ARGS ${ENABLE_TRACE} ${TRACE_DEPTH} -Wno-WIDTH -Wno-CASEINCOMPLETE -Wno-CASEOVERLAP --no-std)
 
 # Used by 'sim_main.cpp'.
 if(ENABLE_TRACE AND TRACE_FILEPATH)