From cfc641a9bb97c94e5993f895a8bcdf24214adc83 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Mon, 5 Oct 2026 22:40:22 -0300
Subject: journal for the website

---
 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 da8c008..fdf7ef7 100644
--- a/test/test_rnt.ml
+++ b/test/test_rnt.ml
@@ -5,6 +5,7 @@ let all_suites =
   @ Unit.Kernel.Merkle.suites ()
   @ Unit.Kernel.SubstantialRelation.suites ()
   @ Unit.Kernel.Session.suites ()
+  @ Unit.Kernel.Journal.suites ()
   @ Unit.Evaluators.FOL.suites ()
   @ Integration.Registration.suites ()
 
-- 
cgit v1.2.3