From cb0a3962d9f728aa9e30ee0a159c789f7c848cf2 Mon Sep 17 00:00:00 2001
From: Alasdair <alasdair.armstrong@cl.cam.ac.uk>
Date: Mon, 15 Apr 2024 15:09:33 +0100
Subject: [PATCH] Add a builtin to mark pick dependencies

---
 lib/concurrency_interface/common.sail | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lib/concurrency_interface/common.sail b/lib/concurrency_interface/common.sail
index 15f67a8b3..b74696e1b 100644
--- a/lib/concurrency_interface/common.sail
+++ b/lib/concurrency_interface/common.sail
@@ -188,6 +188,10 @@ val sail_ignore_write_to : forall ('a: Type). register('a) -> unit
 
 function sail_ignore_write_to(reg) = sail_mark_register(reg, "ignore_write")
 
+val sail_pick_dependency : forall ('a: Type). register('a) -> unit
+
+function sail_pick_dependency(reg) = sail_mark_register(reg, "pick")
+
 $ifdef SYMBOLIC
 val __monomorphize = pure "monomorphize" : forall 'n, 'n >= 0. bits('n) -> bits('n)
 $else