From 749873c306e61a96286c5c41762912e8909185e4 Mon Sep 17 00:00:00 2001
From: Steffen Jaeckel <s@jaeckel.eu>
Date: Thu, 6 Jul 2017 10:19:38 +0200
Subject: [PATCH] fix docs generation with TeX Live 2017

[skip ci]
---
 doc/crypt.tex | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/crypt.tex b/doc/crypt.tex
index 51b36b6..dbe67e8 100644
--- a/doc/crypt.tex
+++ b/doc/crypt.tex
@@ -31,7 +31,6 @@
 \def\And{{\rm\ and\ }}
 \def\iff{\hspace{1em}\Longleftrightarrow\hspace{1em}}
 \def\implies{\Rightarrow}
-\def\undefined{{\rm \textit{undefined}}}
 \def\Proof{\vspace{1ex}\noindent {\bf Proof:}\hspace{1em}}
 \let\oldphi\phi
 \def\phi{\varphi}