From 721b1fda713a08bbc4f9a8e50820ce1491e32ff1 Mon Sep 17 00:00:00 2001 From: Estevan Castilho Date: Thu, 24 Sep 2026 04:25:50 +0000 Subject: Actually register the multigroup --- test/integration/Registration.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test') diff --git a/test/integration/Registration.ml b/test/integration/Registration.ml index a50bc2a..daecc22 100644 --- a/test/integration/Registration.ml +++ b/test/integration/Registration.ml @@ -20,7 +20,7 @@ module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) = |> Helpers.condition_as_failure |> ignore; begin let* root = I.initialize ~evaluators:["fol", Evaluators.FOL.make ()] conn in - let* _ = Kernel.Path.(lookup root ("branch" @/ "master" @/ "multigroup" @/ this)) in + let* _ = Kernel.Path.(lookup root ("branch" @/ "master" @/ "multigroup" @/ "library" @/ this)) in let* _ = Kernel.Path.(lookup root ("evaluator" @/ "fol" @/ this)) in Ok () end -- cgit v1.2.3