diff --git a/src/kernel_services/ast_queries/logic_typing.ml b/src/kernel_services/ast_queries/logic_typing.ml
index b0e2522c5bc025fbef5ad04970bb1257b2d2d8dc..bf8a537c6514cc0777d43712a1c744d9b47cf798 100644
--- a/src/kernel_services/ast_queries/logic_typing.ml
+++ b/src/kernel_services/ast_queries/logic_typing.ml
@@ -339,7 +339,8 @@ module Lenv = struct
       | BuiltinLabel LoopEntry -> Some "LoopEntry"
       | StmtLabel s ->
         (match
-           List.find_opt (function Label (_,_,b) -> b | _ -> false) !s.labels
+           Transitioning.List.find_opt
+             (function Label (_,_,b) -> b | _ -> false) !s.labels
          with
          | None -> None
          | Some (Label (lab,_,_)) -> Some lab