patch to make it compile with recent OCaml versions

[helm.git] / helm / software / components / ng_kernel / nCicUntrusted.ml

diff --git a/helm/software/components/ng_kernel/nCicUntrusted.ml b/helm/software/components/ng_kernel/nCicUntrusted.ml
index 82f7cef800fc8874467d972dd40f2c29bb0d22e2..022482b0a9e60c44e20398d586b74bd9ddaa9e2a 100644 (file)
--- 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 =