From 6ba8d720ff9b4e8ced028d90730a122abd1b7169 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 26 Feb 2019 09:14:31 +0100
Subject: [PATCH] =?UTF-8?q?[compat]=20Compatibility=20with=20older=20OCaml?=
=?UTF-8?q?=20versions=20=F0=9F=91=B4?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
src/kernel_services/ast_queries/logic_typing.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/kernel_services/ast_queries/logic_typing.ml b/src/kernel_services/ast_queries/logic_typing.ml
index b0e2522c5bc..bf8a537c651 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
--
GitLab