diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-08 02:12:17 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-08 02:12:17 -0300 |
| commit | 46e348142d782cfd94ba37421f92e2871b0f4c22 (patch) | |
| tree | ec1afd29523c9f1af9605f0564b9e93aeab8fa42 /test/test_rnt.ml | |
| parent | f49890e12d7eb6a766b966438cd475f7cbf5081b (diff) | |
| download | RNT-46e348142d782cfd94ba37421f92e2871b0f4c22.tar.gz RNT-46e348142d782cfd94ba37421f92e2871b0f4c22.zip | |
fix testsdrop-journal
Diffstat (limited to 'test/test_rnt.ml')
| -rw-r--r-- | test/test_rnt.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/test_rnt.ml b/test/test_rnt.ml index fdf7ef7..c6fcfd5 100644 --- a/test/test_rnt.ml +++ b/test/test_rnt.ml @@ -5,7 +5,7 @@ let all_suites = @ Unit.Kernel.Merkle.suites () @ Unit.Kernel.SubstantialRelation.suites () @ Unit.Kernel.Session.suites () - @ Unit.Kernel.Journal.suites () + @ Unit.Kernel.Branch.suites () @ Unit.Evaluators.FOL.suites () @ Integration.Registration.suites () |