From eb7ad043880a0a846864c7b648e59c2a29610c51 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Fri, 23 Oct 2026 23:48:31 -0300
Subject: change call sites Directory

---
 lib/kernel/Scope.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/kernel/Scope.ml')

diff --git a/lib/kernel/Scope.ml b/lib/kernel/Scope.ml
index 8868600..cd82b26 100644
--- a/lib/kernel/Scope.ml
+++ b/lib/kernel/Scope.ml
@@ -54,7 +54,7 @@ let catalog_of branch =
         let* names = Protocols.Directory.list listing in
         Ok (List.map (name prefix) (BatFingerTree.to_list names))
     | Some level, rest ->
-        let* named = Prototype.Directory.children level in
+        let* named = Protocols.Directory.children level in
         Utilities.List.concat_map (fun (n, child) -> down (n :: prefix) child rest) named
   in
   down [] branch ["multigroup"; "schema"; "relation"]
-- 
cgit v1.2.3