1 files changed, 1 insertions, 1 deletions

diff --git a/test/dune b/test/dune
index 6e5e6eb..f46fc0f 100644
--- a/test/dune
+++ b/test/dune
@@ -1,3 +1,3 @@
 (tests
- (names test_term test_vm test_embedding)
+ (names test_term test_vm test_embedding test_branch)
  (libraries sol zarith alcotest))