1 files changed, 1 insertions, 1 deletions

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