From 70a4198f7de64dbdd4b8fd00a4c0645686d7af8a Mon Sep 17 00:00:00 2001
From: Michael Schwarz <michael.schwarz93@gmail.com>
Date: Sun, 1 Oct 2023 11:31:04 +0200
Subject: [PATCH] Update Imprint URL

---
 doc/cil.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/cil.tex b/doc/cil.tex
index 3a99e8cba..9ad234d6e 100644
--- a/doc/cil.tex
+++ b/doc/cil.tex
@@ -2521,7 +2521,7 @@ \section{Bug reports}
          {https://github.com/goblint/cil}.
 
 \section{Impressum}
-See \ahreftop{https://www.in.tum.de/en/i02/impressum/}{https://www.in.tum.de/en/i02/impressum/}
+See \ahreftop{https://www.cs.cit.tum.de/pl/impressum/}{https://www.cs.cit.tum.de/pl/impressum/}
 
 \end{document}