From f8b97ceb6a71604edd2d10b2196d1284b8b3ab66 Mon Sep 17 00:00:00 2001
From: Franz Fuchs <franz.fuchs@cl.cam.ac.uk>
Date: Thu, 9 Jun 2022 15:24:10 +0100
Subject: [PATCH] corrected ifdef in STLPred.bsv

---
 src_Core/RISCY_OOO/procs/lib/STLPred.bsv | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src_Core/RISCY_OOO/procs/lib/STLPred.bsv b/src_Core/RISCY_OOO/procs/lib/STLPred.bsv
index 5586de6..a105f3e 100644
--- a/src_Core/RISCY_OOO/procs/lib/STLPred.bsv
+++ b/src_Core/RISCY_OOO/procs/lib/STLPred.bsv
@@ -58,9 +58,9 @@ module mkSTLPred(STLPred);
 
     method Bool pred(Bit#(16) pc_hash);
 `ifdef NO_SPEC_STL
-        return fromMaybe(minBound, ldKillMap.lookup(unpack(pc_hash))) == maxBound;
-`else
         return True;
+`else
+        return fromMaybe(minBound, ldKillMap.lookup(unpack(pc_hash))) == maxBound;
 `endif
     endmethod