# HG changeset patch
# User desharna
# Date 1734515024 -3600
# Node ID 6528e378be872fed0b45cbf86d8cc1c62b6f23cb
# Parent  2a0276c409892e3ea073b5b2d845f2dc67102f1a
updated affiliation in Sledgehammer documentation

diff -r 2a0276c40989 -r 6528e378be87 src/Doc/Sledgehammer/document/root.tex
--- a/src/Doc/Sledgehammer/document/root.tex	Wed Dec 18 10:23:25 2024 +0100
+++ b/src/Doc/Sledgehammer/document/root.tex	Wed Dec 18 10:43:44 2024 +0100
@@ -62,7 +62,7 @@
 {\normalsize Institut f\"ur Informatik, Ludwig-Maximilians-Universit\"at M\"unchen} \\[4\smallskipamount]
 {\normalsize with contributions from} \\[4\smallskipamount]
 Martin Desharnais \\
-{\normalsize Forschungsinstitut CODE, Universit\"at der Bundeswehr M\"unchen}  \\[4\smallskipamount]
+{\normalsize Max-Planck-Institut f\"ur Informatik}  \\[4\smallskipamount]
 Lawrence C. Paulson \\
 {\normalsize Computer Laboratory, University of Cambridge} \\[4\smallskipamount]
 Lukas Bartl \\