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)