From 21cdb9ffad749e518ca273641a180697c53ef4da Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 28 Dec 2017 19:13:02 +0100 Subject: [PATCH] Patch to make it compile with recent OCaml --- helm/software/components/content_pres/content2pres.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/helm/software/components/content_pres/content2pres.ml b/helm/software/components/content_pres/content2pres.ml index 05e4ae3cb..d9255f220 100644 --- a/helm/software/components/content_pres/content2pres.ml +++ b/helm/software/components/content_pres/content2pres.ml @@ -1013,7 +1013,8 @@ let njoint_def2pres term2pres joint_kind defs = ;; let content2pres0 - ?skip_initial_lambdas ?(skip_thm_and_qed=false) term2pres + ?skip_initial_lambdas ?(skip_thm_and_qed=false) + (term2pres : ?prec:int -> 'a) (id,params,metasenv,obj) = match obj with @@ -1070,7 +1071,8 @@ let content2pres (TermContentPres.pp_ast ast))) let ncontent2pres0 - ?skip_initial_lambdas ?(skip_thm_and_qed=false) term2pres + ?skip_initial_lambdas ?(skip_thm_and_qed=false) + (term2pres : ?prec:int -> 'a) (id,params,metasenv,obj : CicNotationPt.term Content.cobj) = match obj with -- 2.39.2