# HG changeset patch
# User wenzelm
# Date 1587152930 -7200
# Node ID 17365d32a0c833c089ea95d7108ba77e2383d3b9
# Parent  3b36fc4916afb9741cccf308c89fa49669d5f4e8
use friendlier package;

diff -r 3b36fc4916af -r 17365d32a0c8 src/Doc/Corec/document/root.tex
--- a/src/Doc/Corec/document/root.tex	Fri Apr 17 17:32:11 2020 +0200
+++ b/src/Doc/Corec/document/root.tex	Fri Apr 17 21:48:50 2020 +0200
@@ -17,7 +17,7 @@
 \usepackage{pdfsetup}
 \usepackage{railsetup}
 \usepackage{framed}
-\usepackage{regexpatch}
+\usepackage{xpatch}
 
 \makeatletter
 \xpatchcmd{\chaptermark}{\MakeUppercase}{}{}{}%