From: Daniel Schepler <dschepler@gmail.com>
Date: Sun, 4 Dec 2022 09:42:12 +0000
Subject: remove \undefined macro

Bug-Debian: https://bugs.debian.org/562349
---
 doc/bn.tex | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/bn.tex b/doc/bn.tex
index 5937fee..432de2d 100644
--- a/doc/bn.tex
+++ b/doc/bn.tex
@@ -30,7 +30,6 @@
 \def\And{{\rm\ and\ }}
 \def\iff{\hspace{1em}\Longleftrightarrow\hspace{1em}}
 \def\implies{\Rightarrow}
-\def\undefined{{\rm ``undefined"}}
 \def\Proof{\vspace{1ex}\noindent {\bf Proof:}\hspace{1em}}
 \let\oldphi\phi
 \def\phi{\varphi}
