From 3b30d2db365d2db24d2f676d57db5ad219d31993 Mon Sep 17 00:00:00 2001
From: Peter Rugg <pdr32@cam.ac.uk>
Date: Wed, 22 Apr 2020 15:14:58 +0100
Subject: [PATCH] Add BuildCap unsealing

---
 src_Core/RISCY_OOO/procs/lib/Exec.bsv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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               :