From ca8c92915bd3a7fa19ef57b8bd5a9b3f16d05254 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sun, 13 Sep 2026 14:27:37 -0300
Subject: fol evaluator

---
 test/test_rnt.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'test/test_rnt.ml')

diff --git a/test/test_rnt.ml b/test/test_rnt.ml
index b80de90..784689d 100644
--- a/test/test_rnt.ml
+++ b/test/test_rnt.ml
@@ -2,6 +2,7 @@ let all_suites =
   Unit.Backend.Storage.suites ()
   @ Unit.Kernel.Merkle.suites ()
   @ Unit.Kernel.SubstantialRelation.suites ()
+  @ Unit.Evaluators.FOL.suites ()
   @ Integration.Registration.suites ()
 
 let () = Alcotest.run "RNT" all_suites
-- 
cgit v1.2.3