From d1982040caa5dc13836a6505af72215d02f77e20 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sun, 7 Jun 2020 00:45:10 +0200
Subject: [PATCH] capitalize Emp consistent with True/False
---
tex/iris.sty | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tex/iris.sty b/tex/iris.sty
index 0704079a9..269f26646 100644
--- a/tex/iris.sty
+++ b/tex/iris.sty
@@ -375,7 +375,7 @@
\newcommand{\TRUE}{\textlog{True}}
\newcommand{\FALSE}{\textlog{False}}
-\newcommand{\EMP}{\textlog{emp}}
+\newcommand{\EMP}{\textlog{Emp}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% GENERIC LANGUAGE SYNTAX AND SEMANTICS
--
GitLab