From 03cc0ac1186694ae7e71ef7c21b67577351923fa Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Tue, 28 Dec 2021 09:00:23 +0000
Subject: [PATCH] Migration to Isabelle 2021-1 (based on afp-2021-12-28).

---
 UPF/document/root.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/UPF/document/root.tex b/UPF/document/root.tex
index 254dc47..ee7bb37 100644
--- a/UPF/document/root.tex
+++ b/UPF/document/root.tex
@@ -1,4 +1,5 @@
 \documentclass[11pt,DIV10,a4paper,twoside=semi,openright,titlepage]{scrreprt}
+\usepackage[T1]{fontenc}
 \usepackage{fixltx2e}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%% Overrides the (rightfully issued) warning by Koma Script that \rm