From d0915b4abb755f9a0f86cbe81acbb12a04df7a72 Mon Sep 17 00:00:00 2001
From: Brian Campbell <Brian.Campbell@ed.ac.uk>
Date: Mon, 3 Feb 2025 16:14:21 +0000
Subject: [PATCH] Add translation.sail library file to package

---
 src/bin/dune | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/bin/dune b/src/bin/dune
index 9a00105c0..b57531c85 100644
--- a/src/bin/dune
+++ b/src/bin/dune
@@ -59,6 +59,9 @@
   (%{workspace_root}/lib/concurrency_interface/sysreg.sail
    as
    lib/concurrency_interface/sysreg.sail)
+  (%{workspace_root}/lib/concurrency_interface/translation.sail
+   as
+   lib/concurrency_interface/translation.sail)
   (%{workspace_root}/lib/coverage/Cargo.toml as lib/coverage/Cargo.toml)
   (%{workspace_root}/lib/coverage/Makefile as lib/coverage/Makefile)
   (%{workspace_root}/lib/coverage/src/lib.rs as lib/coverage/src/lib.rs)