diff --git a/RTL_Benchmark b/RTL_Benchmark deleted file mode 160000 index 16bc04733..000000000 --- a/RTL_Benchmark +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 16bc04733bc63c1f3b137ebe52628a3ffe127c13