Header typo: author attrib.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2381 bbc10eb1-c90d-0410-af57-cb519fbb1720
15 years ago · 5dcbaab5eb
1 changed files with 1 additions and 1 deletions
--- a/prism/src/parser/visitor/ConvertForJltl2ba.java
+++ b/prism/src/parser/visitor/ConvertForJltl2ba.java
@ -3,7 +3,7 @@
 //	Copyright (c) 2002-
 //	Authors:
 //	* Dave Parker <david.parker@comlab.ox.ac.uk> (University of Oxford, formerly University of Birmingham)
-//	* Andrew Hinton <ug60axh@cs.bham.ac.uk> (University of Birmingham)
+//	* Carlos S. Bederián (Universidad Nacional de Córdoba)
 //	
 //------------------------------------------------------------------------------
 //