From 52d6d0a1d971e61fef9cfded716d319db5782f8f Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 4 Mar 2014 11:56:12 +0000 Subject: [PATCH] Different behaviour of OCaml 4.0. --- matita/components/ng_kernel/nCicUntrusted.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matita/components/ng_kernel/nCicUntrusted.ml b/matita/components/ng_kernel/nCicUntrusted.ml index ba5ad9f5a..5df06d28d 100644 --- a/matita/components/ng_kernel/nCicUntrusted.ml +++ b/matita/components/ng_kernel/nCicUntrusted.ml @@ -269,7 +269,7 @@ let rec replace_in_subst i f = function ;; 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