From eb81c07047979f3fe53383ff2a42393f0b29bd28 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 11 Jul 2026 03:17:10 -0300
Subject: embedding surface, host world test, deep recursion, line tracking

---
 test/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/dune')

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))
-- 
cgit v1.2.3