From d3a143f3edce2a255c449526e0ecf85435a6bad4 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 28 Dec 2017 19:06:07 +0100 Subject: [PATCH] patch to make it compile with recent OCaml versions --- helm/software/components/ng_kernel/nCicUntrusted.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/software/components/ng_kernel/nCicUntrusted.ml b/helm/software/components/ng_kernel/nCicUntrusted.ml index 82f7cef80..022482b0a 100644 --- a/helm/software/components/ng_kernel/nCicUntrusted.ml +++ b/helm/software/components/ng_kernel/nCicUntrusted.ml @@ -271,9 +271,9 @@ let rec replace_in_subst i f = function | (j,e)::tl when j=i -> (i,f e) :: tl | x::tl -> x :: replace_in_subst i f tl ;; - + let set_kind newkind attrs = - newkind :: List.filter (fun x -> not (is_kind x)) attrs + (newkind :> NCic.meta_attr) :: List.filter (fun x -> not (is_kind x)) attrs ;; let max_kind k1 k2 = -- 2.39.2