From 0000e975f66322714980ecaca9ce8c4f25a33c05 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 4 Jun 2020 11:16:16 +0200
Subject: [PATCH] avoid ugly page break after judgment header
---
tex/iris.sty | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tex/iris.sty b/tex/iris.sty
index 59ef937e1..d802c8110 100644
--- a/tex/iris.sty
+++ b/tex/iris.sty
@@ -55,7 +55,7 @@
\newcommand{\any}{{\rule[-.2ex]{1ex}{.4pt}}}%
% For some reason \paragraph gives the weirdest errors ("missing \item").
-\newcommand{\judgment}[2][]{\bigskip\noindent\textit{#1}\hspace{\stretch{1}}\fbox{$#2$}}
+\newcommand{\judgment}[2][]{\bigskip\noindent\textit{#1}\hspace{\stretch{1}}\fbox{$#2$}\nopagebreak}
\newcommand{\pfn}{\rightharpoonup}
\newcommand\fpfn{\xrightharpoonup{\smash{\raisebox{-.3ex}{\ensuremath{\scriptstyle\kern-0.25ex\textlog{fin}\kern-0.1ex}}}}}
--
GitLab