From 45b3eaf09c0dc8acc10e9e63814b52f46cf01e13 Mon Sep 17 00:00:00 2001
From: Franz Fuchs <franz.fuchs@cl.cam.ac.uk>
Date: Thu, 30 Jun 2022 12:57:07 +0100
Subject: [PATCH] correct SSITH Makefile

---
 src_SSITH_P3/Makefile | 1 -
 1 file changed, 1 deletion(-)

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