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}