From 9ce18a8a222def2be06c5d4af653ef6bbe5a1e61 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 27 May 2019 16:15:05 +0200
Subject: [PATCH] LaTeX: dont override built-in LaTeX \fill
---
docs/iris.sty | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/iris.sty b/docs/iris.sty
index afae4f8ec..f54bb99b6 100644
--- a/docs/iris.sty
+++ b/docs/iris.sty
@@ -398,7 +398,7 @@
\newcommand{\cfg}[2]{{#1};{#2}}
-\def\fill#1[#2]{#1 {[}\, #2\,{]} }
+\def\fillctx#1[#2]{#1 {[}\, #2\,{]} }
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% STANDARD DERIVED CONSTRUCTIONS
--
GitLab