diff --git a/src_Core/RISCY_OOO/procs/lib/Exec.bsv b/src_Core/RISCY_OOO/procs/lib/Exec.bsv index 51a82c5..61411dd 100755 --- a/src_Core/RISCY_OOO/procs/lib/Exec.bsv +++ b/src_Core/RISCY_OOO/procs/lib/Exec.bsv @@ -170,7 +170,7 @@ function CapPipe capModify(CapPipe a, CapPipe b, CapModifyFunc func); //tagged FromPtr : // error("FromPtr not yet implemented"); tagged BuildCap : - setValidCap(a, True); + setType(setValidCap(a, True),-1); tagged Move : a; tagged ClearTag :