diff --git a/README.md b/README.md index d30d82ad9..6dcf702a0 100644 --- a/README.md +++ b/README.md @@ -30,7 +30,7 @@ Authors Storm has been developed at RWTH Aachen University. ###### Principal developers -* Christian Dehnert +* Christian Hensel * Sebastian Junges * Joost-Pieter Katoen * Tim Quatmann