diff --git a/examples/math_exam/BAC2017.thy b/examples/math_exam/BAC2017.thy index cbae2cf6..30ce30f2 100644 --- a/examples/math_exam/BAC2017.thy +++ b/examples/math_exam/BAC2017.thy @@ -5,7 +5,7 @@ begin open_monitor*[exam::MathExam] -section*[idir::Author,affiliation="''CentraleSupelec''", +section*[idir::Author,affiliation="''LRI, CentraleSupelec''", email="''idir.aitsadoune@centralesupelec.fr''"] {*Idir AIT SADOUNE*}