diff --git a/src_SSITH_P3/Makefile b/src_SSITH_P3/Makefile
index dc1299d..9bd6c54 100644
--- a/src_SSITH_P3/Makefile
+++ b/src_SSITH_P3/Makefile
@@ -40,7 +40,6 @@ BSC_COMPILATION_FLAGS += \
 	-D RISCV \
 	-D TSO_MM \
 	-D MELTDOWN_CF \
-	-D NO_SPEC_STL \
 	-D INCLUDE_GDB_CONTROL \
 	-D BRVF_TRACE \
 	-D XILINX_BSCAN  -D JTAG_TAP