final boilerplate for 8.15

.github/workflows/docker-action.yml

@@ -5,7 +5,7 @@ name: Docker CI
 on:
   push:
     branches:
-      - port-master
+      - v8.15
   pull_request:
     branches:
       - '**'

README.md

@@ -11,7 +11,7 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 [![coqdoc][coqdoc-shield]][coqdoc-link]
 [![DOI][doi-shield]][doi-link]
 
-[docker-action-shield]: https://github.com/coq-community/atbr/workflows/Docker%20CI/badge.svg?branch=master
+[docker-action-shield]: https://github.com/coq-community/atbr/workflows/Docker%20CI/badge.svg?branch=v8.15
 [docker-action-link]: https://github.com/coq-community/atbr/actions?query=workflow:"Docker%20CI"
 
 [contributing-shield]: https://img.shields.io/badge/contributions-welcome-%23f7931e.svg

meta.yml

@@ -6,6 +6,8 @@ community: true
 action: true
 coqdoc: true
 doi: 10.2168/LMCS-8(1:16)2012
+branch: 'v8.15'
+plugin: true
 
 synopsis: Coq library and tactic for deciding Kleene algebras
 

src/reify.ml

@@ -343,7 +343,7 @@ let reify_goal ops =
 	in
 	  (try 
 	     Tacticals.tclTHEN (retype reified)
-	       (Tactics.convert_concl ~cast:false ~check:true reified Constr.VMcast)
+	       (Tactics.convert_concl ~cast:false ~check:true reified DEFAULTcast)
 	   with e -> Feedback.msg_warning (Printer.pr_leconstr_env env sigma reified); raise e)
 
     | _ -> error "unrecognised goal"