diff --git a/prism/src/explicit/ExplicitFiles2Model.java b/prism/src/explicit/ExplicitFiles2Model.java index 1ee08ba7..7a34fc5a 100644 --- a/prism/src/explicit/ExplicitFiles2Model.java +++ b/prism/src/explicit/ExplicitFiles2Model.java @@ -3,7 +3,7 @@ // Copyright (c) 2016- // Authors: // * Joachim Klein (TU Dresden) -// * Dave parker (University of Birmingham) +// * Dave Parker (University of Birmingham) // //------------------------------------------------------------------------------ //