From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 28 Dec 2017 18:06:07 +0000 (+0100)
Subject: patch to make it compile with recent OCaml versions
X-Git-Tag: make_still_working~386
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=d3a143f3edce2a255c449526e0ecf85435a6bad4;hp=5cf3909277c1d813bc1d7571f866efc9d7b2699d

patch to make it compile with recent OCaml versions
---

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 =