From 85af8bc3eddedae9947cb109f5d3f1f15e97d4f4 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Tue, 14 Jan 2020 17:46:56 +0000
Subject: [PATCH] Bug fix for older e-tex versions requireing reserveinsert.

---
 .../technical_report/Isabelle_DOF-Manual/document/preamble.tex  | 2 +-
 src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty              | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
index efe022f..da259c0 100644
--- a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
+++ b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
@@ -14,7 +14,7 @@
 
 %% This is a placeholder for user-specific configuration and packages. 
 \usepackage{etex}
-\ifdef{\reserveinserts{0}}{\reserveinserts{28}}{} 
+\ifdef{\reserveinserts}{\reserveinserts{28}}{} 
 \usepackage{dirtree}
 \renewcommand*\DTstylecomment{\ttfamily\itshape}
 \usepackage{textcomp}
diff --git a/src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty b/src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty
index 24a82fe..80b5831 100644
--- a/src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty
+++ b/src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty
@@ -19,7 +19,7 @@
 
 \RequirePackage{DOF-COL}
 \usepackage{etex}
-\ifdef{\reserveinserts{0}}{\reserveinserts{28}}{} 
+\ifdef{\reserveinserts}{\reserveinserts{28}}{} 
 \usepackage[many]{tcolorbox}
 \usepackage{marginnote}