corrected ifdef in STLPred.bsv

This commit is contained in:
Franz Fuchs
2022-06-09 15:24:10 +01:00
parent b79a228093
commit f8b97ceb6a

View File

@@ -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